• 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.

About

Avatar for Gordon @Gordon started