Gaëtan Gilbert (Oct 17 2022 at 12:53): Gaëtan Gilbert (Oct 17 2022 at 12:53):what are we doing about the windows failures?
Théo Zimmermann (Oct 17 2022 at 12:55):See #Coq Platform devs & users > Building from sources fails on Windows
Michael Soegtrop (Oct 17 2022 at 13:26):@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?
Gaëtan Gilbert (Oct 17 2022 at 13:47):https://github.com/coq/coq/actions/runs/3264776472/jobs/5365955429
Théo Zimmermann (Oct 17 2022 at 13:58):As I wrote over there, the issue is that the Coq Platform version is pinned.
Michael Soegtrop (Oct 17 2022 at 15:12):It might make sense to have a coq-ci branch, which I update to main from time to time - and when needed.
Théo Zimmermann (Oct 17 2022 at 15:24):Indeed, that would be more convenient.
Michael Soegtrop (Oct 17 2022 at 15:38):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.
Théo Zimmermann (Oct 17 2022 at 15:46):I opened https://github.com/coq/coq/pull/16688.
Last updated: Oct 08 2024 at 14:01 UTC