Nix CI for bundle coq-8.18

[refactor] instance declaration #98

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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