From 001626127c874fd34d765eb497fb9fcb4f28db12 Mon Sep 17 00:00:00 2001
From: Phil Howard <phil@gadgetoid.com>
Date: Mon, 5 Aug 2024 09:56:14 +0100
Subject: [PATCH] CI: Pin SDK version to 1.5.1.

This should have been done forever ago!
---
 .github/workflows/cmake.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
index 88dc4eab..d785493f 100644
--- a/.github/workflows/cmake.yml
+++ b/.github/workflows/cmake.yml
@@ -7,6 +7,7 @@ on:
 env:
   # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
   BUILD_TYPE: Release
+  PICO_SDK_VERSION: 1.5.1
 
 jobs:
   build:
@@ -43,6 +44,7 @@ jobs:
       uses: actions/checkout@v4
       with:
         repository: raspberrypi/pico-sdk
+        ref: ${{ env.PICO_SDK_VERSION }}
         path: pico-sdk
         submodules: true