You are reading a single comment by @Gordon and its replies.
Click here to read the full conversation.
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.
@Gordon
Great! Yes, the Web IDE tries to auto-detect the device type based on the board that you last connected to - if that happened to be the Pico it'd have flashed that firmware.