Would be a good feature. I’ve opened a feature request issue at Add support for alternative Arduino core earlephilhower/arduino-pico · Issue #13 · platformio/platform-raspberrypi · GitHub.
Would be a good feature. I’ve opened a feature request issue at Add support for alternative Arduino core earlephilhower/arduino-pico · Issue #13 · platformio/platform-raspberrypi · GitHub.