Skip to content
Nix CI for bundle 9.0

Use Num.bound #1443

Sign in to view logs

Use Num.bound

Use Num.bound #1443

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rocq-core
50s
coq
51s
mathcomp-analysis-single
13m 58s
mathcomp-classical
2m 48s
mathcomp-reals
4m 5s
mathcomp-analysis
12m 44s
mathcomp-experimental-reals
1m 55s
mathcomp-reals-stdlib
1m 32s
ssprove
17m 50s
mathcomp-analysis-stdlib
13m 33s
mathcomp-infotheo
6m 26s
1h 16m 32s