From 50ea5eedb7f146805b1ff070478b171159a3e746 Mon Sep 17 00:00:00 2001
From: Mathieu Carbou <mathieu.carbou@gmail.com>
Date: Wed, 23 Oct 2024 16:32:51 +0200
Subject: [PATCH] Disabling RPI in CI. Issue:
 https://github.com/maxgerhardt/platform-raspberrypi/issues/83

---
 .github/workflows/ci.yml | 4 ++--
 platformio.ini           | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 39d7702..c7b1043 100644
--- a/.github/workflows/ci.yml
+++ b/.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
diff --git a/platformio.ini b/platformio.ini
index 0c0cca6..c031076 100644
--- a/platformio.ini
+++ b/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