Michael Soegtrop (Oct 31 2022 at 08:48): 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.
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.
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: Apr 18 2024 at 10:02 UTC