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