Nix CI for bundle coq-master

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
mathcomp-single	34s
bignums	36s
coq-elpi	37s
paramcoq	41s
hierarchy-builder	42s
mathcomp-ssreflect	43s
mathcomp-bigenough	43s
mathcomp-fingroup	42s
deriving	1m 38s
mathcomp-finmap	43s
reglang	1m 29s
mathcomp-algebra	40s
mathcomp-classical	37s
mathcomp-solvable	37s
coq-bits	1m 22s
fourcolor	12m 50s
multinomials	38s
mathcomp-field	38s
mathcomp-character	41s
mathcomp-analysis	8m 54s
mathcomp-real-closed	44s
mathcomp	41s
coqeal	1m 33s
odd-order	9m 15s
	48m 56s