Damien George e34412f0f4 tools/ci.sh: Manually install picotool for rp2 builds. ...

If picotool is not installed, it's fetched and built when compiling each
rp2 board.  And the "develop" branch of picotool is used instead of a
release.  Installing it manually using the "master" branch means the latest
released version is used (instead of a possibly unstable development
version), and also makes building each rp2 board a little faster.

Signed-off-by: Damien George <damien@micropython.org>

2025-04-07 13:53:38 +10:00

30 KiB

Executable File

Raw Blame History

View Raw