You can use the so-called Releases on this Github repo to upload and publish precompiled binaries others can just upload to their Picos. Some people haven't Arduino IDE installed and it would help those a lot.
You obtain those binaries in Arduino IDE by running Sketch > Export compiled binary (Alt+Ctrl+S). You'll find them in <sketch's directory>/build/arduino.mbed_rp2040.pico/<something>.ino.uf2. Some people haven't Arduino IDE installed and it would help those a lot.
You can use the so-called Releases on this Github repo to upload and publish precompiled binaries others can just upload to their Picos. Some people haven't Arduino IDE installed and it would help those a lot.
You obtain those binaries in Arduino IDE by running
Sketch > Export compiled binary (Alt+Ctrl+S)
. You'll find them in<sketch's directory>/build/arduino.mbed_rp2040.pico/<something>.ino.uf2
. Some people haven't Arduino IDE installed and it would help those a lot.