Add global package directory to search paths (and update Idris2 submo… #481

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-idris2-with-api	16m 54s
build	5m 1s
	21m 55s