diff options
| author | Phil Howard <github@gadgetoid.com> | 2025-07-22 09:37:27 +0100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-07-24 13:51:02 +1000 |
| commit | cbc6aed8facf8fea2eceb59b0e801f33038f1897 (patch) | |
| tree | 87c33e0b8909b746a4c3e06e3d376acbafb8c545 /lib/pico-sdk | |
| parent | bc77b27badaa4dfbebcc542ecb8ac41480e75787 (diff) | |
lib/pico-sdk: Fix Pico SDK fetching develop picotool.
SDK 2.1.1 shipped with PICOTOOL_FETCH_FROM_GIT configured to fetch the
"develop" branch. This broke downstream CI, which was trusting Pico
SDK to fetch the correct version.
RPi have added a "2.1.1-correct-picotool" tag which fixes this.
lib/pico-sdk: Bump to "2.1.1-correct-picotool" tag.
Signed-off-by: Phil Howard <github@gadgetoid.com>
Diffstat (limited to 'lib/pico-sdk')
| m--------- | lib/pico-sdk | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/pico-sdk b/lib/pico-sdk -Subproject bddd20f928ce76142793bef434d4f75f4af6e43 +Subproject 9a4113fbbae65ee82d8cd6537963bc3d3b14bcc |