eg https://github.com/coq/coq/actions/runs/5507778197/jobs/10038192811?pr=17835
# /usr/bin/env: ‘/usr/bin/python’: No such file or directory
@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.
@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?
I guess coq-ci
?
I think so
(branch not tag)
OK, I will update it to main.
Done. It should work now. If not, please ping me.
@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: Oct 13 2024 at 01:02 UTC