Nix CI for bundle coq-8.19

Merge pull request #439 from proux01/ci-820 #92

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder	40s
mathcomp-single	8m 59s
mathcomp-ssreflect	35s
coquelicot	35s
deriving	1m 47s
mathcomp-bigenough	37s
mathcomp-fingroup	39s
mathcomp-finmap	36s
QuickChick	1m 43s
reglang	1m 42s
mathcomp-algebra	34s
interval	40s
fourcolor	37s
mathcomp-solvable	38s
coq-bits	42s
mathcomp-classical	4m 0s
multinomials	36s
vcfloat	36s
async-test	1m 51s
mathcomp-field	41s
mathcomp-character	37s
mathcomp-real-closed	38s
mathcomp	43s
coqeal	41s
http	1m 30s
odd-order	12m 31s
mathcomp-analysis	14m 54s
	1h 0m 57s