diff options
| author | Damien George <damien@micropython.org> | 2025-04-05 22:53:25 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-04-07 13:53:38 +1000 |
| commit | e34412f0f49032fcd3a08317c8f2e01c7bdae24f (patch) | |
| tree | 7a94e2c63a9a385f9c5a75154aba87b57756ec76 /tests/cpydiff/syntax_assign_expr.py | |
| parent | 3805e65ed3b7306329bf0305d5b46f08d7619a11 (diff) | |
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>
Diffstat (limited to 'tests/cpydiff/syntax_assign_expr.py')
0 files changed, 0 insertions, 0 deletions