Nix CI for bundle coq-8.19

Nix CI reverse dependency compatibility testing #4

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	41s
equations	41s
metacoq-utils	1m 48s
metacoq-common	2m 2s
metacoq-template-coq	3m 17s
metacoq-pcuic	14m 5s
metacoq-translations	3m 30s
metacoq-safechecker	19m 26s
metacoq-template-pcuic	15m 25s
metacoq-quotation	23m 10s
metacoq-erasure	27m 9s
metacoq-safechecker-plugin	20m 54s
metacoq-erasure-plugin	28m 54s
metacoq	37m 51s
ElmExtraction	33m 47s
RustExtraction	33m 12s
	4h 25m 52s