Nix CI for bundle coq-8.17

enable CI on 8.18 #104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	36s
hierarchy-builder-shim	1m 18s
hierarchy-builder	1m 34s
mathcomp-single	24s
mathcomp-single-planB-src	26m 39s
mathcomp-ssreflect	8m 3s
mathcomp-fingroup	2m 21s
category-theory	14m 32s
coquelicot	2m 32s
mathcomp-bigenough	1m 13s
mathcomp-finmap	1m 36s
reglang	1m 50s
mathcomp-algebra	12m 14s
interval	3m 40s
fourcolor	23m 25s
coq-bits	1m 45s
mathcomp-solvable	4m 47s
addition-chains	2m 44s
mathcomp-field	7m 33s
mathcomp-character	4m 13s
mathcomp	1m 59s
odd-order	21m 46s
	2h 26m 44s