Nix CI for bundle coq-8.19

Nix CI reverse dependency compatibility testing #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
equations	47s
metacoq-utils	1m 29s
metacoq-common	2m 9s
metacoq-template-coq	3m 14s
metacoq-pcuic	13m 45s
metacoq-translations	3m 29s
metacoq-template-pcuic	15m 18s
metacoq-safechecker	19m 56s
metacoq-quotation	22m 54s
metacoq-erasure	27m 23s
metacoq-safechecker-plugin	20m 43s
metacoq-erasure-plugin	28m 27s
metacoq	36m 19s
RustExtraction	30m 58s
ElmExtraction	33m 35s
	4h 21m 7s