CI

Fix CI (#177) #4232

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-getdeps (8.10.7, getdeps)	1h 11m 40s
ci-getdeps (8.6.5, getdeps)	1h 16m 57s
ci-getdeps (9.2.8, getdeps)	1h 8m 7s
ci-getdeps (9.8.2, getdeps)	1h 8m 15s
ci-getdeps (8.8.4, getdeps)	1h 8m 53s
ci-getdeps (9.4.7, getdeps)	1h 11m 31s
ci-getdeps (9.6.6, getdeps)	1h 6m 41s
ci-getdeps (9.4.7, cabal)	1h 2m 9s
	9h 14m 13s