Skip to content
Nix CI for bundle 8.20-master

split measure.v #87

Sign in to view logs

split measure.v

split measure.v #87

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
47s
mathcomp-bigenough
2m 13s
mathcomp-finmap
2m 30s
mathcomp
23m 15s
mathcomp-classical
13m 19s
mathcomp-analysis-single
12s
mathcomp-reals
2m 24s
mathcomp-analysis
18m 54s
mathcomp-experimental-reals
2m 23s
mathcomp-reals-stdlib
1m 34s
mathcomp-analysis-stdlib
1m 39s
mathcomp-analysis-single
38m 51s
mathcomp
23m 15s
coq
47s
mathcomp-classical
13m 19s
mathcomp-bigenough
2m 13s
mathcomp-finmap
2m 30s
mathcomp-reals-stdlib
1m 34s
mathcomp-analysis
18m 54s
mathcomp-experimental-reals
2m 23s
mathcomp-reals
2m 24s
mathcomp-analysis-stdlib
1m 39s
2h 56m 59s