diff options
| author | Wini-Buh <[email protected]> | 2021-06-03 22:17:30 +0200 |
|---|---|---|
| committer | Wini-Buh <[email protected]> | 2021-06-03 22:17:30 +0200 |
| commit | 5a554508caba50bda2a82095a66a1896b960daaf (patch) | |
| tree | c2a1aaafb98689d8827061a37cdbc7788a0eb4ad /.github/workflows | |
| parent | e26cf6b26ca0d7c54f71332896d4bed9c418844a (diff) | |
| parent | ce30109b5bdb3ecd82f08c9dd48fe0f6f7f1713e (diff) | |
Merge remote-tracking branch 'upstream/master' into CCRX_Port
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0ed20b859..529a77bb1 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -67,7 +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 clone --depth 1 -b develop https://github.com/raspberrypi/pico-sdk ~/pico-sdk echo >> $GITHUB_ENV PICO_SDK_PATH=~/pico-sdk - name: Set Toolchain URL |