Fix CI issue with RPI platform repo

Author: mathieucarbou

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