Nix CI for bundle coq-8.20

Merge pull request #566 from CohenCyril/blacklist #338

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
hierarchy-builder	21s
coq	27s
mathcomp	1m 26s
fourcolor	1m 22s
mathcomp-bigenough	1m 21s
ExtLib	22s
mathcomp-word	1m 13s
deriving	1m 24s
mathcomp-single	8m 56s
mathcomp-zify	1m 14s
coq-elpi	21s
mathcomp-finmap	1m 27s
reglang	1m 17s
coquelicot	1m 21s
simple-io	26s
odd-order	0s
mathcomp-algebra-tactics	0s
coq-bits	0s
mathcomp-analysis	-1s
mathcomp-real-closed	-1s
multinomials	0s
mathcomp-classical	0s
coqeal	-1s
QuickChick	1m 16s
interval	0s
	24m 11s