Skip to content
Nix CI for bundle coq-8.20

nix #203

Sign in to view logs

nix

nix #203

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
52s
coq-elpi
2m 8s
hierarchy-builder
1m 50s
mathcomp-ssreflect
3m 37s
coquelicot
2m 18s
QuickChick
2m 31s
autosubst
1m 49s
mathcomp-bigenough
1m 46s
mathcomp-finmap
2m 4s
mathcomp-fingroup
2m 30s
relation-algebra
2m 52s
interval
3m 34s
mathcomp-algebra
4m 10s
mathcomp-solvable
3m 50s
mathcomp-classical
3m 30s
multinomials
3m 6s
mathcomp-reals
2m 50s
mathcomp-field
4m 14s
mathcomp-reals-stdlib
2m 9s
mathcomp-experimental-reals
2m 41s
mathcomp-analysis
13m 30s
mathcomp-character
5m 39s
mathcomp-real-closed
5m 29s
coqeal
5m 28s
mathcomp
4m 11s
odd-order
12m 27s
mathcomp-analysis-stdlib
12m 3s
1h 53m 8s