Nix CI for bundle coq-master

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mathcomp-single	26s
coq	32s
coq-elpi	29s
hierarchy-builder	29s
mathcomp-ssreflect	29s
mathcomp-fingroup	43s
reglang	29s
mathcomp-finmap	28s
mathcomp-algebra	30s
mathcomp-solvable	40s
fourcolor	38s
coq-bits	38s
mathcomp-field	37s
mathcomp-character	37s
mathcomp	27s
odd-order	39s
	8m 51s