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?

https://github.com/coq/coq/actions/runs/3264776472/jobs/5365955429

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: Jun 13 2024 at 03:02 UTC