Nix CI for bundle coq-master

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	35s
coq	47s
coq-elpi	38s
hierarchy-builder-shim	33s
hierarchy-builder	33s
mathcomp-single-planB-src	26s
mathcomp-ssreflect	38s
mathcomp-fingroup	39s
reglang	29s
mathcomp-finmap	45s
mathcomp-algebra	38s
fourcolor	34s
mathcomp-solvable	32s
coq-bits	34s
mathcomp-field	28s
mathcomp-character	29s
mathcomp	43s
odd-order	32s
	10m 33s