Nix CI for bundle coq-8.18

Merge pull request #457 from proux01/ci-update #316

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder	35s
mathcomp-single	9m 26s
mathcomp-ssreflect	36s
autosubst	41s
QuickChick	37s
coquelicot	37s
Verdi	41s
deriving	37s
mathcomp-bigenough	40s
mathcomp-fingroup	51s
mathcomp-finmap	34s
reglang	42s
relation-algebra	2m 9s
async-test	37s
mathcomp-algebra	42s
interval	37s
http	37s
mathcomp-solvable	37s
fourcolor	37s
addition-chains	40s
coq-bits	36s
multinomials	41s
mathcomp-field	36s
mathcomp-real-closed	38s
mathcomp-character	38s
mathcomp	39s
coqeal	3m 26s
odd-order	46s
	31m 48s