CI

Merge pull request #1858 from amesgen/ghc-9.12.1 #235

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (25.1)	1m 29s
build (25.3)	1m 25s
build (26.1)	1m 48s
build (26.3)	2m 34s
build (27.1)	1m 35s
build (27.2)	1m 34s
build (28.1)	1m 54s
build (28.2)	1m 50s
build (29.1)	1m 31s
build (29.4)	1m 25s
build (snapshot)	1m 13s
	18m 18s