Idris2 on Ubuntu

Specify `--` as comment syntax for ipkg mode #256

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (27.2)	8m 37s
build (28.2)	10m 46s
build (29.3)	8m 47s
	28m 10s