Nix CI for bundle coq-8.20

[CI] Add test-suite #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	38s
hierarchy-builder	1m 13s
hierarchy-builder-test	1m 14s
mathcomp-ssreflect	4m 3s
mathcomp-single	8m 15s
autosubst	1m 16s
mathcomp-bigenough	1m 14s
coquelicot	1m 41s
deriving	1m 44s
mathcomp-fingroup	1m 47s
mathcomp-finmap	1m 22s
reglang	1m 36s
interval	3m 15s
mathcomp-algebra	4m 25s
fourcolor	16m 39s
coq-bits	3m 48s
mathcomp-classical	5m 46s
mathcomp-solvable	5m 16s
multinomials	4m 37s
mathcomp-field	5m 4s
mathcomp-real-closed	6m 25s
mathcomp-analysis	17m 9s
mathcomp-character	6m 38s
coqeal	4m 34s
mathcomp	2m 57s
odd-order	12m 31s
	2h 5m 7s