CI

Updating submodules #3542

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-getdeps (9.4.7, getdeps)	40m 10s
ci-getdeps (8.10.7, getdeps)	41m 44s
ci-getdeps (9.6.6, getdeps)	40m 30s
ci-getdeps (9.4.7, cabal)	48m 41s
ci-getdeps (9.8.2, getdeps)	40m 32s
ci-getdeps (8.8.4, getdeps)	42m 56s
ci-getdeps (8.6.5, getdeps)	48m 22s
ci-getdeps (9.2.8, getdeps)	45m 8s
	5h 48m 3s