Installing Anaconda/Miniconda times out after 40 minutes

I’m trying to install miniconda: https://travis-ci.org/TimoRoth/oggm/jobs/448333452#L51
But it either is stuck, or really takes forever, as in, more than 40 minutes. I’d expect it to take a few minutes, but nothing south of 10 minutes, let alone 40 minutes.

The command line used works on other Windows-Based scripts we use, though usually invoked from PowerShell, but that shouldn’t make a difference.