Nix CI for bundle coq-8.19

[CI] Add test-suite #113

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	35s
hierarchy-builder-test	1m 14s
hierarchy-builder	1m 16s
mathcomp-ssreflect	5m 33s
mathcomp-single	9m 5s
QuickChick	5m 59s
autosubst	5m 40s
deriving	5m 56s
coquelicot	5m 55s
mathcomp-bigenough	5m 27s
mathcomp-fingroup	6m 6s
mathcomp-finmap	5m 50s
reglang	6m 9s
async-test	1m 19s
mathcomp-algebra	4m 37s
interval	2m 33s
http	1m 31s
vcfloat	3m 9s
fourcolor	13m 4s
coq-bits	37s
mathcomp-solvable	2m 42s
mathcomp-classical	4m 3s
multinomials	2m 4s
mathcomp-field	3m 48s
mathcomp-character	2m 47s
mathcomp-analysis	16m 22s
mathcomp-real-closed	2m 40s
coqeal	4m 38s
mathcomp	1m 32s
odd-order	12m 37s
	2h 24m 48s