Nix CI for bundle coq-8.19

[CI] Add test-suite #106

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	34s
hierarchy-builder	35s
mathcomp-single	35s
mathcomp-ssreflect	35s
QuickChick	36s
autosubst	35s
deriving	35s
mathcomp-bigenough	35s
coquelicot	33s
mathcomp-fingroup	36s
mathcomp-finmap	40s
reglang	35s
async-test	36s
interval	42s
mathcomp-algebra	34s
http	1m 27s
mathcomp-solvable	34s
fourcolor	13m 35s
coq-bits	36s
mathcomp-classical	4m 20s
multinomials	35s
vcfloat	37s
mathcomp-field	35s
mathcomp-character	35s
mathcomp-real-closed	38s
mathcomp	44s
coqeal	3m 28s
mathcomp-analysis	12m 54s
odd-order	40s
	50m 14s