Nix CI for bundle coq-8.17

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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