Setup step times out on windows

Hi,

I’m using Travis to test my project on Windows. My build starts by installing the Lean theorem prover which works but when it tries to setup the latest nightly version of Lean, the command times out even when I use travis_wait. What can I do?

For reference, here is the build in question: https://travis-ci.org/leanprover-community/mathlib/jobs/534594368

Thank you!

Imprint