Nix CI for bundle coq-8.20

Nix CI for 8.20 branch #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
equations	47s
metacoq-utils	1m 34s
metacoq-common	2m 5s
metacoq-pcuic	12m 55s
metacoq-template-coq	3m 21s
metacoq-translations	3m 30s
metacoq-safechecker	19m 6s
metacoq-template-pcuic	15m 6s
metacoq-quotation	20m 48s
metacoq-erasure	26m 12s
metacoq-safechecker-plugin	19m 52s
metacoq-erasure-plugin	27m 20s
metacoq	32m 53s
RustExtraction	30m 40s
ElmExtraction	31m 22s
	4h 8m 13s