Nix CI for bundle coq-master

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	43s
mathcomp-single	33s
coq-elpi	30s
hierarchy-builder	29s
mathcomp-ssreflect	33s
mathcomp-finmap	39s
mathcomp-fingroup	39s
reglang	42s
mathcomp-algebra	43s
coq-bits	36s
fourcolor	37s
mathcomp-solvable	37s
mathcomp-field	32s
mathcomp-character	34s
mathcomp	28s
odd-order	32s
	9m 27s