Nix CI for bundle coq-8.18

prepare release #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
hierarchy-builder-shim	45s
mathcomp-single	32s
hierarchy-builder	29s
mathcomp-ssreflect	30s
mathcomp-single-planB-src	35s
autosubst	46s
Verdi	41s
coquelicot	40s
mathcomp-bigenough	40s
mathcomp-fingroup	43s
mathcomp-finmap	28s
reglang	31s
mathcomp-algebra	39s
addition-chains	41s
coq-bits	28s
mathcomp-solvable	28s
fourcolor	35s
mathcomp-field	30s
mathcomp-character	32s
mathcomp	33s
odd-order	31s
	12m 51s