Skip to content
Nix CI for bundle coq-8.20

Merge pull request #787 from LPCIC/gares-patch-1 #471

Sign in to view logs

Merge pull request #787 from LPCIC/gares-patch-1

Merge pull request #787 from LPCIC/gares-patch-1 #471

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
1m 0s
coq-elpi-tests
1m 5s
coq-elpi
1m 5s
stdlib
1m 2s
hierarchy-builder
1m 1s
mathcomp-ssreflect
1m 7s
QuickChick
2m 8s
coquelicot
1m 1s
mathcomp-fingroup
1m 1s
autosubst
1m 38s
mathcomp-finmap
1m 0s
mathcomp-bigenough
1m 5s
relation-algebra
2m 39s
interval
2m 55s
mathcomp-algebra
1m 1s
multinomials
1m 2s
mathcomp-solvable
59s
mathcomp-classical
1m 1s
mathcomp-field
1m 1s
mathcomp-reals
1m 2s
mathcomp-real-closed
1m 2s
mathcomp-character
1m 5s
mathcomp-analysis
11m 30s
mathcomp-experimental-reals
1m 2s
mathcomp-reals-stdlib
1m 1s
coqeal
3m 49s
mathcomp
1m 5s
odd-order
12m 21s
mathcomp-analysis-stdlib
11m 59s
1h 10m 47s