actually fix pico-sdk checkout to checkout the right branch
This commit is contained in:
parent
90d7483d92
commit
9b17acd168
|
@ -67,8 +67,7 @@ jobs:
|
||||||
- name: Checkout pico-sdk
|
- name: Checkout pico-sdk
|
||||||
if: matrix.family == 'rp2040'
|
if: matrix.family == 'rp2040'
|
||||||
run: |
|
run: |
|
||||||
git clone --depth 1 https://github.com/raspberrypi/pico-sdk ~/pico-sdk
|
git clone --depth 1 -b tinyusb-0.10.0 https://github.com/raspberrypi/pico-sdk ~/pico-sdk
|
||||||
git checkout tinyusb-0.10.0
|
|
||||||
echo >> $GITHUB_ENV PICO_SDK_PATH=~/pico-sdk
|
echo >> $GITHUB_ENV PICO_SDK_PATH=~/pico-sdk
|
||||||
|
|
||||||
- name: Set Toolchain URL
|
- name: Set Toolchain URL
|
||||||
|
|
Loading…
Reference in New Issue