Nix CI for bundle coq-8.19

[CI] Add test-suite #110

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	37s
hierarchy-builder	1m 15s
mathcomp-ssreflect	5m 35s
mathcomp-single	9m 8s
coquelicot	5m 58s
mathcomp-bigenough	5m 31s
autosubst	5m 40s
deriving	6m 5s
mathcomp-finmap	5m 47s
mathcomp-fingroup	6m 10s
QuickChick	5m 58s
reglang	5m 54s
async-test	1m 23s
interval	2m 35s
mathcomp-algebra	4m 45s
http	1m 30s
vcfloat	3m 27s
mathcomp-solvable	6m 15s
fourcolor	16m 49s
coq-bits	4m 58s
mathcomp-classical	7m 56s
multinomials	5m 35s
mathcomp-field	5m 28s
mathcomp-real-closed	5m 4s
mathcomp-analysis	18m 20s
mathcomp-character	5m 7s
coqeal	4m 49s
mathcomp	1m 35s
odd-order	12m 40s
	2h 51m 54s