Nix CI for bundle coq-8.16

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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