Nix CI for bundle coq-8.18

[refactor] instance declaration #102

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
mathcomp-single	23s
hierarchy-builder	28s
mathcomp-ssreflect	30s
Verdi	37s
autosubst	46s
coquelicot	42s
mathcomp-bigenough	27s
mathcomp-fingroup	34s
reglang	31s
mathcomp-finmap	27s
mathcomp-algebra	34s
mathcomp-solvable	32s
addition-chains	34s
fourcolor	27s
coq-bits	36s
mathcomp-field	32s
mathcomp-character	38s
mathcomp	41s
odd-order	40s
	11m 12s