Stream: Coq devs & plugin devs

Topic: platform failing in CI (windows)


view this post on Zulip Gaëtan Gilbert (Jul 10 2023 at 12:55):

eg https://github.com/coq/coq/actions/runs/5507778197/jobs/10038192811?pr=17835

# /usr/bin/env: ‘/usr/bin/python’: No such file or directory

view this post on Zulip Michael Soegtrop (Jul 10 2023 at 13:13):

@Gaëtan Gilbert : yes this is known and new:
Fails today:
https://github.com/coq/platform/actions/runs/5503208032
Good:
https://github.com/coq/platform/actions/runs/5497481555

I can't look into it right now because I am experiencing an internet outage. I expect that there is a new version of gtk-sourceview which isn't tested on 64 bit Windows and pinning to the previous version helps. Interestingly it still works on 32 bit Windows. A possible cause is that on Windows 64 int and long have a different size - which is not very usual otherwise.

view this post on Zulip Michael Soegtrop (Jul 20 2023 at 08:54):

@Gaëtan Gilbert : I fixed this in Coq Platform main, but I see that it still fails in Coq's CI. If I remember right, you are using a specific tag?

view this post on Zulip Michael Soegtrop (Jul 20 2023 at 08:55):

I guess coq-ci?

view this post on Zulip Gaëtan Gilbert (Jul 20 2023 at 14:08):

I think so

view this post on Zulip Gaëtan Gilbert (Jul 20 2023 at 14:09):

(branch not tag)

view this post on Zulip Michael Soegtrop (Jul 20 2023 at 14:23):

OK, I will update it to main.

view this post on Zulip Michael Soegtrop (Jul 20 2023 at 14:27):

Done. It should work now. If not, please ping me.

view this post on Zulip Michael Soegtrop (Jul 21 2023 at 08:52):

@Gaëtan Gilbert : the platform build runs through now, but the the installer build step fails - apparently because the platform folder was renamed from coq-platform to platform (which happened a bit after moving to the coq repo - apparently I did not update the coq-ci branch in a while). I will do a PR.


Last updated: May 18 2024 at 10:02 UTC