Skip to content
Nix CI for bundle coq-8.20

fix #386 #52

Sign in to view logs

fix #386

fix #386 #52

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
46s
hierarchy-builder
1m 18s
mathcomp-single
8m 0s
mathcomp-ssreflect
4m 8s
QuickChick
4m 51s
autosubst
4m 12s
coquelicot
4m 45s
deriving
4m 48s
mathcomp-bigenough
4m 12s
mathcomp-fingroup
4m 51s
mathcomp-finmap
4m 38s
reglang
4m 35s
relation-algebra
5m 18s
mathcomp-algebra
4m 17s
interval
2m 36s
coq-bits
4m 9s
mathcomp-solvable
5m 18s
mathcomp-classical
6m 4s
fourcolor
16m 28s
multinomials
4m 51s
mathcomp-field
5m 5s
mathcomp-reals
4m 22s
mathcomp-real-closed
2m 59s
mathcomp-character
2m 52s
mathcomp-analysis
11m 50s
mathcomp-reals-stdlib
1m 48s
mathcomp-experimental-reals
2m 10s
mathcomp
1m 40s
coqeal
2m 27s
odd-order
10m 58s
mathcomp-analysis-stdlib
11m 50s
2h 38m 6s