Nix CI for bundle coq-8.20

[CI] Add test-suite #18

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	33s
hierarchy-builder	38s
hierarchy-builder-test	1m 18s
mathcomp-single	34s
mathcomp-ssreflect	38s
mathcomp-bigenough	33s
autosubst	42s
deriving	1m 42s
mathcomp-fingroup	42s
coquelicot	33s
mathcomp-finmap	33s
reglang	1m 39s
mathcomp-algebra	40s
interval	2m 31s
coq-bits	34s
fourcolor	13m 25s
mathcomp-classical	3m 15s
multinomials	36s
mathcomp-solvable	34s
mathcomp-field	36s
mathcomp-character	42s
mathcomp-real-closed	41s
mathcomp-analysis	13m 21s
mathcomp	38s
coqeal	3m 18s
odd-order	11m 17s
	1h 2m 13s