Temporarily use develop branch of Pico SDK to bring in timer fix

Fixes issue introduced in SDK 2.1.0, reported in pico-sdk issue 2118: raspberrypi/pico-sdk#2118
polpo · Dec 9, 2024 · c01a4c0 · c01a4c0
1 parent ad96998
commit c01a4c0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,7 +5,7 @@ jobs:
       runs-on: ubuntu-22.04
       env: 
         BUILD_TYPE: "Release"
-        PICOSDK_VER: "2.1.0"
+        PICOSDK_VER: "develop"  # Temporarily use "release" branch
         PICOEXTRA_VER: "sdk-2.1.0"
         # The Pico-SDK will listen to these environment vars
         PICOTOOL_FETCH_FROM_GIT_PATH: ${{github.workspace}}/pico/picotool