Nix CI for bundle coq-8.16

[refactor] instance declaration #313

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	32s
mathcomp-single	32s
hierarchy-builder	33s
mathcomp-ssreflect	42s
QuickChick	29s
Verdi	42s
autosubst	30s
category-theory	29s
coquelicot	30s
mathcomp-bigenough	28s
mathcomp-fingroup	47s
mathcomp-finmap	29s
relation-algebra	35s
reglang	28s
mathcomp-algebra	29s
interval	30s
mathcomp-solvable	28s
fourcolor	40s
coq-bits	30s
addition-chains	36s
mathcomp-field	28s
mathcomp-character	32s
mathcomp	27s
odd-order	33s
	12m 59s