Nix CI for bundle coq-8.18

CI update #370

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder	1m 21s
mathcomp-ssreflect	59s
mathcomp-single	58s
QuickChick	1s
Verdi	1s
autosubst	1s
coquelicot	1s
mathcomp-bigenough	1s
mathcomp-fingroup	1s
mathcomp-finmap	1s
reglang	1s
relation-algebra	1s
deriving	1s
async-test	1s
interval	1s
mathcomp-algebra	1s
http	1s
addition-chains	1s
coq-bits	1s
fourcolor	1s
mathcomp-solvable	1s
multinomials	1s
mathcomp-field	1s
mathcomp-character	1s
mathcomp-real-closed	1s
mathcomp	1s
coqeal	1s
odd-order	1s
	4m 18s