Nix CI for bundle coq-8.19

[CI] Add test-suite #107

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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