Stefan Kratochwil
41cfe794bf
All checks were successful
Build RPi Pico firmware image / Build-Firmware (push) Successful in 3m23s
Check code formatting / Check-C-Format (push) Successful in 6s
Check code formatting / Check-Python-Flake8 (push) Successful in 9s
Check code formatting / Check-Bash-Shellcheck (push) Successful in 5s
Run unit tests on host / Run-Unit-Tests (push) Successful in 8s
Migrated all patches from the previous version. A change in the Findpicotool.cmake script in the pico-sdk led to a downgrade of picotool, which incorporated mbedtls into the build, which itself is not buildable with cmake versions < 3.5. The commit which made this isolated change was reverted. Future versions of micropython will use pico-sdk 2.2.0 or newer, where this problem is fixed, and picotool is pinned to a release version.