From 2706a62299e0825d585784b7f64e518e4449af4c Mon Sep 17 00:00:00 2001
From: Mathieu Carbou <mathieu.carbou@gmail.com>
Date: Mon, 30 Sep 2024 01:02:38 +0200
Subject: [PATCH] Fix CI issue with RPI platform repo

---
 platformio.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/platformio.ini b/platformio.ini
index c650376..b0a28f1 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -65,7 +65,7 @@ lib_deps =
 [env:raspberrypi]
 upload_protocol = picotool
 ; platform = raspberrypi
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git
+platform = https://github.com/maxgerhardt/platform-raspberrypi.git#f2687073f73d554c9db41f29b4769fd9703f4e55
 board = rpipicow
 lib_deps = 
   bblanchon/ArduinoJson @ 7.2.0
@@ -102,7 +102,7 @@ lib_deps =
 
 [env:ci-raspberrypi]
 ; platform = raspberrypi
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git
+platform = https://github.com/maxgerhardt/platform-raspberrypi.git#f2687073f73d554c9db41f29b4769fd9703f4e55
 board = ${sysenv.PIO_BOARD}
 lib_deps = 
   bblanchon/ArduinoJson @ 7.2.0