diff options
| author | graham sanderson <[email protected]> | 2021-05-31 11:10:55 -0500 |
|---|---|---|
| committer | graham sanderson <[email protected]> | 2021-05-31 11:10:55 -0500 |
| commit | db138a530cadfc91241ac158a188cefe7452c90e (patch) | |
| tree | 326ab22e81c8bc1c5dfbaa43fd5129ce644e91b6 /.github | |
| parent | 13951b43c22ffe5bad531c2d7e5d22d540e82118 (diff) | |
Switch checks to use tinyusb-0.10.0 branch of pico-sdk due to circular dependency
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0ed20b859..0c91bda84 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -68,6 +68,7 @@ jobs: if: matrix.family == 'rp2040' run: | git clone --depth 1 https://github.com/raspberrypi/pico-sdk ~/pico-sdk + git checkout tinyusb-0.10.0 echo >> $GITHUB_ENV PICO_SDK_PATH=~/pico-sdk - name: Set Toolchain URL |