Stream: Coq devs & plugin devs

Topic: windows failing


view this post on Zulip Gaëtan Gilbert (Oct 17 2022 at 12:53):

what are we doing about the windows failures?

view this post on Zulip Théo Zimmermann (Oct 17 2022 at 12:55):

See #Coq Platform devs & users > Building from sources fails on Windows

view this post on Zulip 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?

view this post on Zulip Gaëtan Gilbert (Oct 17 2022 at 13:47):

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

view this post on Zulip Théo Zimmermann (Oct 17 2022 at 13:58):

As I wrote over there, the issue is that the Coq Platform version is pinned.

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Oct 17 2022 at 15:24):

Indeed, that would be more convenient.

view this post on Zulip 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 master.

view this post on Zulip Théo Zimmermann (Oct 17 2022 at 15:46):

I opened https://github.com/coq/coq/pull/16688.


Last updated: Feb 01 2023 at 15:04 UTC