Im using the arduinopico core for the rp2040 with this configuration:
[env:VALIDATE_RP2040_BASE]
framework = arduino
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
board = waveshare_rp2040_lcd_1_28
board_build.core = earlephilhower
board_build.filesystem_size = 0.5m
lib_archive = true
I have noticed that there was a new release with the new pic-sdk version 2.0.0.
How can I update my platform installation?
I would like to avoid just deleting the platform folder in .platformio
I tried pio pkg update but that did not help