Nix CI for bundle coq-8.19

[CI] Add test-suite #112

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder	1m 18s
mathcomp-single	8m 45s
mathcomp-ssreflect	5m 35s
autosubst	5m 27s
QuickChick	5m 58s
coquelicot	6m 11s
deriving	6m 1s
mathcomp-bigenough	5m 27s
mathcomp-fingroup	6m 8s
mathcomp-finmap	5m 38s
reglang	5m 53s
async-test	1m 29s
mathcomp-algebra	4m 35s
interval	2m 49s
http	1m 32s
vcfloat	3m 20s
coq-bits	1m 29s
fourcolor	13m 17s
mathcomp-solvable	2m 49s
mathcomp-classical	4m 16s
multinomials	2m 8s
mathcomp-field	3m 46s
mathcomp-character	3m 19s
mathcomp-analysis	16m 3s
mathcomp-real-closed	2m 41s
coqeal	4m 49s
mathcomp	1m 44s
odd-order	12m 41s
	2h 25m 43s