Nix CI for bundle coq-8.18

Merge pull request #398 from proux01/coq_18164 #101

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	39s
hierarchy-builder	36s
mathcomp-single	44s
mathcomp-ssreflect	26s
mathcomp-bigenough	46s
autosubst	35s
Verdi	43s
coquelicot	30s
mathcomp-fingroup	39s
mathcomp-finmap	44s
reglang	41s
mathcomp-algebra	30s
fourcolor	49s
coq-bits	41s
mathcomp-solvable	30s
addition-chains	48s
mathcomp-field	28s
mathcomp-character	33s
mathcomp	47s
odd-order	32s
	12m 41s