Can you update the ArduinoCore-mbed to v2.3.1 for Raspberry Pi Pico
Solved per Update to mbed core 2.2.0 · Issue #15 · platformio/platform-raspberrypi · GitHub.