Skip to content
Nix CI for bundle coq-8.20

Merge pull request #753 from LPCIC/gares-patch-1 #345

Sign in to view logs

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

Merge pull request #753 from LPCIC/gares-patch-1 #345

Run time

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