7ed7b27bc4
Galaxy install often fails in CI, scuppering an otherwise good run. Change-Id: I3d02afe33cdf32b1d285bd4bdc4a8074883113ca