Nix CI for bundle coq-8.17

Fix test #111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
mathcomp-single	37s
hierarchy-builder	1m 40s
hierarchy-builder-shim	1m 44s
mathcomp-single-planB-src	25m 12s
mathcomp-ssreflect	8m 20s
coquelicot	2m 29s
category-theory	18m 55s
mathcomp-bigenough	1m 26s
mathcomp-fingroup	3m 0s
mathcomp-finmap	1m 40s
reglang	2m 6s
interval	3m 7s
mathcomp-algebra	11m 44s
coq-bits	1m 54s
mathcomp-solvable	6m 32s
fourcolor	23m 28s
addition-chains	2m 39s
mathcomp-field	9m 21s
mathcomp-character	5m 31s
mathcomp	2m 12s
odd-order	20m 39s
	2h 34m 54s