diff options
| author | graham sanderson <[email protected]> | 2021-05-31 11:23:14 -0500 |
|---|---|---|
| committer | graham sanderson <[email protected]> | 2021-05-31 11:23:14 -0500 |
| commit | 9b17acd1683cc6cd4ea1835991daf15fe8e2e368 (patch) | |
| tree | 418752194e76f99966a0f18e48e99943baf39fa3 /.github | |
| parent | 90d7483d925eab3ab2c05d286d0671cb8ec66ecc (diff) | |
actually fix pico-sdk checkout to checkout the right branch
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0c91bda84..09236db65 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -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 |