Nix CI for bundle coq-8.18

Merge pull request #444 from math-comp/new_elpi_resolver #297

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
hierarchy-builder	36s
mathcomp-single	38s
mathcomp-ssreflect	35s
QuickChick	37s
Verdi	39s
autosubst	35s
coquelicot	39s
deriving	40s
mathcomp-bigenough	38s
mathcomp-fingroup	34s
mathcomp-finmap	33s
reglang	36s
async-test	36s
mathcomp-algebra	35s
interval	2m 32s
http	35s
coq-bits	1m 26s
addition-chains	36s
fourcolor	13m 5s
mathcomp-classical	36s
mathcomp-solvable	34s
multinomials	39s
mathcomp-field	39s
mathcomp-analysis	6h 0m 16s
mathcomp-character	36s
mathcomp-real-closed	36s
mathcomp	41s
coqeal	3m 29s
odd-order	13m 10s
	6h 48m 34s