bundle build broken

Stream: general

[Rob Lewis]

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

[Rob Lewis]

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

[Rob Lewis]

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

[Bryan Gin-ge Chen]

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.

[Bryan Gin-ge Chen]

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.

[Bryan Gin-ge Chen]

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.

[Patrick Massot]

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.