From c01a4c069734a69a8d56abc4585bf5f7df6991fd Mon Sep 17 00:00:00 2001
From: Ian Scott <ian@polpo.org>
Date: Sun, 8 Dec 2024 20:15:00 -0700
Subject: [PATCH] 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:
https://github.com/raspberrypi/pico-sdk/issues/2118
---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 239c29f..db6b33b 100644
--- 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