From 211f97ccbdbc634b18d8f23eb439fc355218ad92 Mon Sep 17 00:00:00 2001
From: Jonathan Haylett <jonathan@haylett.dev>
Date: Sun, 29 Sep 2024 21:41:59 +0100
Subject: [PATCH] build: pin platform version

---
 platformio.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platformio.ini b/platformio.ini
index 447587b2..2a5baa73 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -80,7 +80,7 @@ lib_deps =
     https://github.com/JonnyHaystack/ArduinoKeyboard/archive/refs/tags/1.0.5.zip
 
 [arduino_pico_base]
-platform = https://github.com/maxgerhardt/platform-raspberrypi
+platform = https://github.com/maxgerhardt/platform-raspberrypi.git#5e87ae34ca025274df25b3303e9e9cb6c120123c
 framework = arduino
 board = pico
 extra_scripts = pre:builder_scripts/arduino_pico.py