From 4de3ea94a91c0d13ab55ddebdf62e209911a206d Mon Sep 17 00:00:00 2001 From: Maximilian Gerhardt Date: Sun, 1 Jun 2025 17:08:45 +0200 Subject: [PATCH] Cleanly install PlatformIO platform from scratch (#2982) Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then pio pkg updating it. --- .github/workflows/pull-request.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index a2fe3a52..7deac49d 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -268,8 +268,8 @@ jobs: run: | python -m pip install --upgrade pip pip install --upgrade platformio + rm -rf ~/.platformio/platforms/raspberrypi* pio pkg install --global --platform https://github.com/maxgerhardt/platform-raspberrypi.git - pio pkg update --global --platform https://github.com/maxgerhardt/platform-raspberrypi.git pio pkg install --global --tool symlink://. cp -f /home/runner/work/arduino-pico/arduino-pico/tools/json/*.json /home/runner/.platformio/platforms/raspberrypi/boards/. - name: Build Multicore Example @@ -325,8 +325,8 @@ jobs: run: | python -m pip install --upgrade pip pip install --upgrade platformio + rm -rf ~/.platformio/platforms/raspberrypi* pio pkg install --global --platform https://github.com/maxgerhardt/platform-raspberrypi.git - pio pkg update --global --platform https://github.com/maxgerhardt/platform-raspberrypi.git pio pkg install --global --tool symlink://. cp -f /home/runner/work/arduino-pico/arduino-pico/tools/json/*.json /home/runner/.platformio/platforms/raspberrypi/boards/. - name: Build Every Variant