Skip to content
Nix CI for bundle 9.0

derive_mx #1501

Sign in to view logs

derive_mx

derive_mx #1501

Run time

Learn about OS pricing on GitHub Actions
Job Run time
rocq-core
36s
coq
0s
mathcomp-analysis-single
0s
mathcomp-classical
-1s
mathcomp-reals
-1s
mathcomp-experimental-reals
-1s
mathcomp-analysis
-1s
mathcomp-analysis-stdlib
0s
mathcomp-reals-stdlib
-1s
ssprove
0s
mathcomp-infotheo
0s
rocq-core
50s
coq
47s
mathcomp-classical
3m 19s
mathcomp-analysis-single
19m 56s
mathcomp-reals
4m 37s
mathcomp-experimental-reals
2m 4s
mathcomp-reals-stdlib
1m 45s
mathcomp-analysis
16m 59s
ssprove
24m 37s
mathcomp-analysis-stdlib
17m 38s
mathcomp-infotheo
8m 58s
1h 42m 1s