CI

Make it build with ghc 9.10 (#1536) #1165

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10, 8.4.4)	17m 31s
build (3.10, 8.6.5)	17m 28s
build (3.10, 8.8.4)	17m 52s
build (3.10, 8.10.7)	17m 52s
build (3.10, 9.0.2)	18m 17s
build (3.10, 9.2.7)	16m 14s
build (3.10, 9.4.5)	17m 7s
build (3.10, 9.6.5)	17m 10s
build (9.10.1, 3.12)	16m 30s
	2h 36m 1s