actually fix pico-sdk checkout to checkout the right branch
@@ -67,8 +67,7 @@ jobs:
- name: Checkout pico-sdk
if: matrix.family == 'rp2040'
run: |
- git clone --depth 1 https://github.com/raspberrypi/pico-sdk ~/pico-sdk
- git checkout tinyusb-0.10.0
+ git clone --depth 1 -b tinyusb-0.10.0 https://github.com/raspberrypi/pico-sdk ~/pico-sdk
echo >> $GITHUB_ENV PICO_SDK_PATH=~/pico-sdk
- name: Set Toolchain URL
