From dbf00e302f1498dd789ff7f003ed19732f0a1b2a Mon Sep 17 00:00:00 2001
From: Mathieu Carbou <mathieu.carbou@gmail.com>
Date: Wed, 23 Oct 2024 16:24:14 +0200
Subject: [PATCH] Try fix ci

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

diff --git a/platformio.ini b/platformio.ini
index d6ab05c..0c0cca6 100644
--- a/platformio.ini
+++ b/platformio.ini
@@ -83,7 +83,7 @@ lib_deps =
 [env:raspberrypi]
 upload_protocol = picotool
 ; platform = raspberrypi
-platform = https://github.com/maxgerhardt/platform-raspberrypi.git#f2687073f73d554c9db41f29b4769fd9703f4e55
+platform = https://github.com/maxgerhardt/platform-raspberrypi#v1.2.0-gcc12
 board = rpipicow
 lib_deps = 
   bblanchon/ArduinoJson @ 7.2.0