Nix CI for bundle coq-8.17

Merge pull request #388 from math-comp/close-changelog-1.6.0 #133

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	38s
hierarchy-builder-shim	27s
mathcomp-single	26s
mathcomp-single-planB-src	27s
mathcomp-ssreflect	35s
Verdi	28s
autosubst	37s
category-theory	35s
QuickChick	28s
coquelicot	28s
mathcomp-bigenough	41s
mathcomp-fingroup	38s
relation-algebra	39s
mathcomp-finmap	26s
reglang	44s
mathcomp-algebra	28s
interval	35s
mathcomp-solvable	37s
addition-chains	28s
coq-bits	29s
fourcolor	40s
mathcomp-field	38s
mathcomp-character	42s
mathcomp	29s
odd-order	37s
	14m 38s