Temporary solution for FW uploading in windows

platformio.ini
[env:pico]
platform = raspberrypi
board = pico
framework = arduino
upload_protocol = mbed
upload_port = E:

platforms/raspberrypi/builder/main.py

`
if upload_protocol == "mbed":

upload_actions = [
    env.VerboseAction(env.AutodetectUploadPort, "Looking for upload disk..."),
    env.VerboseAction(env.UploadToDisk, "Uploading $SOURCE")
]`

must be replaced to

`
if upload_protocol == "mbed":

target_firm = join("$BUILD_DIR", "${PROGNAME}.uf2")	
env.Replace(
    UPLOADER="copy",
    UPLOADERFLAGS=target_firm,
    UPLOADCMD="$UPLOADER $UPLOADERFLAGS $UPLOAD_PORT >NUL")
upload_actions = [env.VerboseAction("$UPLOADCMD", "Uploading $SOURCE")]

`

now uploading works!..

Start with the mbed upload handling in platforms/raspberrypi/builder/main.py and the [env:pico] settings in platformio.ini. Verify the proposed Windows upload path against the existing upload actions, then confirm that firmware uploads successfully to the Raspberry Pi Pico on Windows.