what are we doing about the windows failures?
See #Coq Platform devs & users > Building from sources fails on Windows
@Gaëtan Gilbert : it should be fixed since yesterday afternoon. I checked the morning but there was no CI run till then. Are there still issues?
As I wrote over there, the issue is that the Coq Platform version is pinned.
It might make sense to have a coq-ci branch, which I update to main from time to time - and when needed.
Indeed, that would be more convenient.
OK, I created "https://github.com/coq/platform/commits/coq-ci" which I will update from main after releases and urgent bug fixes. It is currently identical to main.
I opened https://github.com/coq/coq/pull/16688.
Last updated: Dec 07 2023 at 14:02 UTC