Idris2 on Ubuntu

Merge pull request #627 from keram/issue-624-pack #247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (25.3)	7m 54s
build (26.3)	8m 12s
build (27.2)	8m 14s
build (28.2)	8m 12s
	32m 32s