Skip to content
Nix CI for bundle 9.0

rm forms.v #780

Sign in to view logs

rm forms.v

rm forms.v #780

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
41s
mathcomp-analysis-single
13m 12s
mathcomp-classical
2m 40s
mathcomp-reals
1m 52s
mathcomp-analysis
12m 22s
mathcomp-experimental-reals
2m 48s
mathcomp-reals-stdlib
2m 32s
ssprove
5m 9s
mathcomp-analysis-stdlib
1m 42s
42m 58s