Can't flash latest DeviceOS firmwares using Workbench

Developer Tools Particle Workbench
1

I’m looking at the list of DeviceOS versions in VSCode, the “Choose the version you would like” drop down that is populated with all the past versions of DeviceOS, and I can only see version 1.5.0 and below. The latest versions, e.g. 1.5.2 are not visible. I thought this updated by itself. How can I update with manually or fix this problem?

2

You can use
image

3

Thanks, that didn’t work.
I removed the .particle folder (I’m on Linux) and reinstalled but no dice.
I was using VSCodium. So I uninstalled it and installed VSCode instead and that seems to have fixed it.
No idea why the plugin should stop updating like that…but must be a problem with the open source version.