Stream: Coq devs & plugin devs

Topic: Coq Platform Windows CI failing cause of cygwin changes


view this post on Zulip Michael Soegtrop (Oct 31 2022 at 08:48):

I just wanted to inform you that Coq Platform Windows CI is failing since 2 days cause of changes in cygwin. Either curl is broken or has been removed from cygwin - I need to analyze the situation.

I guess this means that Coq Windows CI is also failing.

view this post on Zulip Michael Soegtrop (Oct 31 2022 at 09:47):

The issue is discussed on the cygwin list - apparently since an update of curl it requires an additional shared library, which is not in its dependency list. In case you need an urgent fix I can add this dependency to the Coq Platform scripts, but I expect that this will be solved within a day.

view this post on Zulip Michael Soegtrop (Oct 31 2022 at 16:01):

According to the cygwin mailing list the update of curl has been revoked, so things should be back to normal (didn't test it as yet, though).


Last updated: Feb 01 2023 at 15:04 UTC