Nix CI for bundle coq-8.19

Nix CI reverse dependency compatibility testing #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	44s
equations	45s
metacoq-utils	1m 29s
metacoq-common	2m 8s
metacoq-pcuic	13m 42s
metacoq-template-coq	3m 22s
metacoq-translations	3m 29s
metacoq-template-pcuic	15m 15s
metacoq-safechecker	19m 50s
metacoq-quotation	23m 25s
metacoq-erasure	27m 24s
metacoq-safechecker-plugin	20m 58s
metacoq-erasure-plugin	28m 59s
metacoq	37m 37s
ElmExtraction	33m 58s
RustExtraction	32m 54s
	4h 25m 59s