Nix CI for bundle coq-8.16

Fix test #402

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
hierarchy-builder	35s
mathcomp-single	35s
mathcomp-ssreflect	32s
autosubst	32s
Verdi	33s
QuickChick	26s
coquelicot	31s
mathcomp-bigenough	32s
category-theory	32s
mathcomp-fingroup	39s
mathcomp-finmap	34s
reglang	26s
relation-algebra	33s
interval	32s
mathcomp-algebra	32s
fourcolor	27s
addition-chains	28s
coq-bits	27s
mathcomp-solvable	28s
mathcomp-field	32s
mathcomp-character	28s
mathcomp	34s
odd-order	34s
	12m 39s