Nix CI for bundle coq-8.19

[CI] Add test-suite #111

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	40s
hierarchy-builder-test	1m 14s
hierarchy-builder	1m 25s
mathcomp-single	9m 0s
mathcomp-ssreflect	5m 41s
autosubst	5m 54s
coquelicot	6m 5s
deriving	5m 57s
mathcomp-fingroup	6m 6s
mathcomp-bigenough	5m 43s
mathcomp-finmap	5m 42s
QuickChick	5m 57s
reglang	6m 10s
interval	2m 38s
mathcomp-algebra	4m 36s
async-test	41s
http	1m 28s
vcfloat	3m 15s
coq-bits	4m 50s
mathcomp-classical	7m 21s
mathcomp-solvable	6m 17s
fourcolor	16m 19s
multinomials	5m 17s
mathcomp-field	5m 20s
mathcomp-analysis	18m 23s
mathcomp-real-closed	4m 59s
mathcomp-character	5m 19s
coqeal	4m 45s
mathcomp	1m 32s
odd-order	12m 33s
	2h 51m 7s