You’ve correctly set the upload protocol to picoprobe, so since the platform deos not correctly respect that, you should open an issue at https://github.com/Wiz-IO/wizio-pico/.
On the other hand you can quickly check if the Picoprobe works by using my platform-raspeberry fork as documented. Just use a src/main.cpp of
#include <Arduino.h>
// the setup routine runs once when you press reset:
void setup() {
// initialize the digital pin as an output.
pinMode(LED_BUILTIN, OUTPUT);
}
// the loop routine runs over and over again forever:
void loop() {
digitalWrite(LED_BUILTIN, HIGH); // turn the LED on (HIGH is the voltage level)
delay(1000); // wait for a second
digitalWrite(LED_BUILTIN, LOW); // turn the LED off by making the voltage LOW
delay(1000); // wait for a second
}
and a platformio.ini of
[env]
platform = https://github.com/maxgerhardt/platform-raspberrypi.git
framework = arduino
board_build.core = earlephilhower
board_build.filesystem_size = 0.5m
[env:pico]
board = pico
upload_protocol = picoprobe
debug_tool = picoprobe