Zulip Chat Archive

Stream: general

Topic: bundle build broken


view this post on Zulip Rob Lewis (Sep 15 2020 at 16:11):

https://github.com/leanprover-community/azure-scripts/runs/1118677533

view this post on Zulip Rob Lewis (Sep 15 2020 at 16:11):

Looks like something to do with the search for the Mac version of VSCodium?

view this post on Zulip Rob Lewis (Sep 15 2020 at 16:11):

I don't have time to debug this at the moment.

view this post on Zulip Bryan Gin-ge Chen (Sep 15 2020 at 16:14):

Looks like VSCodium removed their macOS builds because they're completely broken right now: https://github.com/VSCodium/vscodium/issues/498

We can either wait until they figure out a fix or change the script to point to an earlier version.

view this post on Zulip Bryan Gin-ge Chen (Sep 15 2020 at 16:55):

It looks like the download link on our website still works and points to the last working version, so I guess we don't actually need to change anything at the moment.

view this post on Zulip Bryan Gin-ge Chen (Sep 16 2020 at 00:16):

Oh, I guess this is preventing the new Windows and Linux bundles from being updated as well. I don't think it's a big deal that those bundles are stuck on vscodium 1.48.2 instead of 1.49.0, but I could fix that if anyone cares.

view this post on Zulip Patrick Massot (Sep 16 2020 at 07:33):

I think sticking to 1.48.2 would be good. We don't really need to upgrade VSCodium unless they fix a bug that directly affects us, and this step is by far the most unstable of our bundle build workflow.


Last updated: May 13 2021 at 17:42 UTC