As this sounded a lot less like a Pi issue than some tooling issue I also posted on the forum for the VS Code extension and got an amazingly fast answer - https://github.com/raspberrypi/pico-vscode/issues/102
This solves the issue.
This solves the issue.
Statistics: Posted by hellesangel — Thu Oct 10, 2024 10:26 am