Disabling RPI in CI.

Issue: https://github.com/maxgerhardt/platform-raspberrypi/issues/83

.github/workflows/ci.yml

@@ -127,8 +127,8 @@ jobs:
           - env: ci-esp8266
             board: d1_mini
 
-          - env: ci-raspberrypi
-            board: rpipicow
+          # - env: ci-raspberrypi
+          #   board: rpipicow
     steps:
       - name: Checkout
         uses: actions/checkout@v4

platformio.ini

@@ -82,8 +82,8 @@ lib_deps =
 ; board settings: https://github.com/earlephilhower/arduino-pico/blob/master/tools/json/rpipico.json
 [env:raspberrypi]
 upload_protocol = picotool
-; platform = raspberrypi
-platform = https://github.com/maxgerhardt/platform-raspberrypi#v1.2.0-gcc12
+platform = raspberrypi
+; platform = https://github.com/maxgerhardt/platform-raspberrypi#v1.2.0-gcc12
 board = rpipicow
 lib_deps = 
   bblanchon/ArduinoJson @ 7.2.0