Idris1 on Ubuntu

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (25.3, git)	17m 17s
build (25.3, stackage)	16m 57s
build (26.1, git)	17m 12s
build (26.1, stackage)	17m 14s
build (27.2, git)	17m 14s
build (27.2, stackage)	17m 14s
build (28.2, git)	17m 12s
build (28.2, stackage)	17m 14s
	2h 17m 34s