Nix CI for bundle coq-8.17

Refactoring of the category theory example + removing plan B #148

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	32s
mathcomp-single	27s
hierarchy-builder	27s
hierarchy-builder-shim	35s
mathcomp-single-planB-src	33s
mathcomp-ssreflect	42s
autosubst	29s
Verdi	36s
QuickChick	43s
category-theory	39s
coquelicot	28s
mathcomp-bigenough	30s
mathcomp-fingroup	39s
mathcomp-finmap	40s
reglang	28s
relation-algebra	37s
mathcomp-algebra	38s
interval	30s
coq-bits	41s
fourcolor	28s
addition-chains	29s
mathcomp-solvable	35s
mathcomp-field	32s
mathcomp-character	33s
mathcomp	35s
odd-order	37s
	14m 43s