Fix CI issue with RPI platform repo

This commit is contained in:
Mathieu Carbou
2024-09-30 01:02:38 +02:00
parent 786f7b924b
commit 2706a62299

View File

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