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