Back to pull request #1107

Test Nix CI reverse dependency compatibility testing #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
coq	42s
equations	42s
metacoq	37m 26s
ElmExtraction	39m 11s
RustExtraction	38m 30s
	1h 56m 31s