Stream: Coq Platform devs & users

Topic: ✔ Windows failure since cygwin update


view this post on Zulip Michael Soegtrop (Oct 31 2022 at 21:13):

The issue has been resolved by the cygwin team - Coq Platform CI passes on Windows.

view this post on Zulip Notification Bot (Oct 31 2022 at 21:13):

Michael Soegtrop has marked this topic as resolved.


Last updated: Jan 29 2023 at 18:03 UTC