Nix CI for bundle coq-8.18

Refactoring of the category theory example + removing plan B (#389) #36

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
hierarchy-builder	35s
mathcomp-single	34s
mathcomp-ssreflect	36s
Verdi	36s
coquelicot	41s
autosubst	36s
mathcomp-bigenough	27s
mathcomp-fingroup	25s
mathcomp-finmap	27s
reglang	33s
mathcomp-algebra	31s
coq-bits	34s
addition-chains	34s
fourcolor	28s
mathcomp-solvable	31s
mathcomp-field	28s
mathcomp-character	33s
mathcomp	28s
odd-order	29s
	10m 39s