Idris1 on Ubuntu

Merge pull request #619 from keram/remove-unused #258

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (25.3, git)	23m 51s
build (25.3, stackage)	21m 13s
build (26.1, git)	24m 45s
build (26.1, stackage)	24m 57s
build (27.2, git)	28m 48s
build (27.2, stackage)	27m 43s
build (28.2, git)	24m 49s
build (28.2, stackage)	21m 20s
	3h 17m 26s