Skip to content
Nix CI for bundle coq-8.20

fix docker ci master #338

Sign in to view logs

fix docker ci master

fix docker ci master #338

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 1s
coq-elpi
1m 52s
hierarchy-builder
1m 47s
mathcomp-ssreflect
3m 38s
QuickChick
2m 9s
coquelicot
2m 7s
autosubst
1m 37s
mathcomp-bigenough
1m 36s
mathcomp-fingroup
2m 13s
relation-algebra
2m 36s
mathcomp-finmap
1m 49s
interval
4m 7s
mathcomp-algebra
4m 29s
mathcomp-classical
8m 7s
mathcomp-solvable
8m 8s
multinomials
7m 33s
mathcomp-reals
2m 35s
mathcomp-field
3m 36s
mathcomp-reals-stdlib
2m 42s
mathcomp-experimental-reals
3m 13s
mathcomp-analysis
13m 9s
mathcomp-real-closed
4m 54s
mathcomp-character
4m 54s
coqeal
4m 44s
mathcomp
1m 54s
odd-order
11m 5s
mathcomp-analysis-stdlib
1m 53s
1h 49m 28s