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 /docs/esp32/tutorial/img | |
| 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 'docs/esp32/tutorial/img')
0 files changed, 0 insertions, 0 deletions