Michael Soegtrop (Oct 31 2022 at 21:13): Michael Soegtrop (Oct 31 2022 at 21:13):The issue has been resolved by the cygwin team - Coq Platform CI passes on Windows.
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