Skip to content
Nix CI for bundle 8.20

extract a last few lemmas from the sampling branch #1777

Sign in to view logs

extract a last few lemmas from the sampling branch

extract a last few lemmas from the sampling branch #1777

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
42s
mathcomp
42s
mathcomp-analysis-single
13m 18s
mathcomp-classical
2m 33s
mathcomp-reals
2m 3s
mathcomp-reals-stdlib
1m 23s
mathcomp-analysis
11m 40s
mathcomp-experimental-reals
1m 43s
mathcomp-analysis-stdlib
1m 33s
ssprove
5m 41s
41m 18s