Nix CI for bundle coq-master

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
mathcomp-single	31s
coq-elpi	40s
hierarchy-builder	39s
mathcomp-ssreflect	34s
mathcomp-fingroup	38s
mathcomp-finmap	36s
reglang	32s
mathcomp-algebra	45s
fourcolor	34s
coq-bits	40s
mathcomp-solvable	41s
mathcomp-field	40s
mathcomp-character	42s
mathcomp	29s
odd-order	30s
	9m 46s