Juvix Compiler CI

JuvixReg transformation: initialize variables assigned in other branches #6500

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test-linux	39m 3s
ormolu	19s
pre-commit	10s
build-and-test-macos	1h 21m 6s
	2h 0m 38s