Skip to content
Nix CI for bundle 9.1

Use Num.bound #631

Sign in to view logs

Use Num.bound

Use Num.bound #631

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rocq-core
49s
coq
45s
mathcomp-analysis-single
14m 20s
mathcomp-classical
2m 36s
mathcomp-reals
2m 14s
mathcomp-reals-stdlib
2m 35s
mathcomp-experimental-reals
2m 52s
mathcomp-analysis
13m 40s
mathcomp-analysis-stdlib
1m 36s
mathcomp-infotheo
7m 51s
49m 18s