Nix CI for bundle coq-8.18

Merge pull request #487 from CohenCyril/fix-432 #382

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	39s
mathcomp-single	9m 22s
mathcomp-ssreflect	40s
QuickChick	39s
autosubst	39s
Verdi	38s
coquelicot	39s
deriving	43s
mathcomp-bigenough	44s
mathcomp-fingroup	43s
mathcomp-finmap	38s
reglang	44s
relation-algebra	39s
async-test	37s
mathcomp-algebra	38s
interval	2m 22s
http	1m 20s
addition-chains	1m 50s
coq-bits	40s
mathcomp-solvable	39s
fourcolor	12m 57s
multinomials	44s
mathcomp-field	43s
mathcomp-real-closed	39s
mathcomp-character	38s
coqeal	45s
mathcomp	39s
odd-order	12m 51s
	56m 7s