Juvix Compiler CI

Allow named arguments in type synonyms #4854

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ormolu	17s
build-and-test-linux	25m 16s
pre-commit	35s
build-and-test-macos	28m 34s
	54m 42s