Nix CI for bundle coq-8.18

A few performance improvements #5

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	30s
hierarchy-builder-shim	35s
hierarchy-builder	31s
mathcomp-single	40s
mathcomp-single-planB-src	38s
mathcomp-ssreflect	44s
autosubst	39s
coquelicot	42s
mathcomp-bigenough	39s
Verdi	30s
mathcomp-fingroup	35s
mathcomp-finmap	32s
reglang	40s
mathcomp-algebra	36s
fourcolor	32s
addition-chains	36s
mathcomp-solvable	34s
coq-bits	35s
mathcomp-field	29s
mathcomp-character	30s
mathcomp	30s
odd-order	45s
	13m 2s