CI

unbreak getdeps build #3530

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-getdeps (8.8.4, getdeps)	27m 46s
ci-getdeps (9.2.8, getdeps)	28m 1s
ci-getdeps (9.4.7, getdeps)	28m 9s
ci-getdeps (8.10.7, getdeps)	27m 55s
ci-getdeps (9.8.2, getdeps)	27m 52s
ci-getdeps (9.4.7, cabal)	25m 22s
ci-getdeps (9.6.6, getdeps)	28m 0s
ci-getdeps (8.6.5, getdeps)	27m 40s
	3h 40m 45s