Stream: Coq devs & plugin devs

Topic: Cygwin server for Windows build seems to be down


view this post on Zulip Michael Soegtrop (Jul 07 2020 at 06:27):

Locally the cygwin server we use seems to be down. In case this situation continues any you have CI failures cause of this, I will do a PR which does a quick test download from 2 or 3 servers and then uses the firts one where this test works.

view this post on Zulip Michael Soegtrop (Jul 07 2020 at 06:44):

And as it looks cgywin removed cygwin gcc from the default installation overnight (required to build some host tools like remake) ...

view this post on Zulip Michael Soegtrop (Jul 07 2020 at 06:55):

I have no time to do a PR before today evening. If someone wants to fix it: a mirror in Europe which is not a university (I don't want to use their bandwidth) and works is http://mirror.checkdomain.de/cygwin and these packages need to be added to the cygwin setup command line: cygwin-devel,gcc-core

view this post on Zulip Gaƫtan Gilbert (Jul 23 2020 at 09:19):

seems to work again now ._.


Last updated: Oct 21 2021 at 20:02 UTC