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.
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.
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: Dec 06 2023 at 14:01 UTC