Skip to content
Nix CI for bundle coq-8.20

opam #236

Sign in to view logs

opam

opam #236

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
55s
coq-elpi
2m 3s
hierarchy-builder
2m 17s
mathcomp-ssreflect
3m 47s
mathcomp-bigenough
1m 53s
coquelicot
2m 22s
mathcomp-finmap
2m 4s
mathcomp-fingroup
2m 39s
QuickChick
2m 37s
relation-algebra
3m 0s
autosubst
1m 52s
interval
4m 14s
mathcomp-algebra
4m 43s
mathcomp-classical
3m 35s
mathcomp-solvable
3m 53s
multinomials
3m 4s
mathcomp-reals
4m 12s
mathcomp-field
5m 43s
mathcomp-reals-stdlib
3m 8s
mathcomp-experimental-reals
3m 42s
mathcomp-real-closed
3m 38s
mathcomp-analysis
11m 37s
mathcomp-character
3m 51s
coqeal
6m 20s
mathcomp
4m 2s
odd-order
12m 2s
mathcomp-analysis-stdlib
11m 26s
1h 54m 39s