If you flashed a Original or WiFi beforehand and then immediately flashed a Pico, the IDE may have assumed you were still using one of them and updated the wrong firmware?
Perhaps you could try restarting the IDE and flashing - then it should realise it doesn't know what the board is and ask you which board you want to update?
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
If you flashed a Original or WiFi beforehand and then immediately flashed a Pico, the IDE may have assumed you were still using one of them and updated the wrong firmware?
Perhaps you could try restarting the IDE and flashing - then it should realise it doesn't know what the board is and ask you which board you want to update?