From b68b3a9c460bf8a516348efe53944246e6ec0105 Mon Sep 17 00:00:00 2001 From: Piotr Stolarz Date: Wed, 27 Mar 2024 09:00:04 +0100 Subject: [PATCH] CI/CD: docker images updated --- .github/arduino-ci/Dockerfile | 3 --- .github/espidf-ci/Dockerfile | 2 +- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/.github/arduino-ci/Dockerfile b/.github/arduino-ci/Dockerfile index be190ca..41c127c 100644 --- a/.github/arduino-ci/Dockerfile +++ b/.github/arduino-ci/Dockerfile @@ -30,8 +30,6 @@ RUN arduino-cli core install arduino:mbed_portenta RUN arduino-cli core install arduino:mbed_rp2040 # Install extra cores. -# NOTE: due to bug in arduino-cli the last core is installed by downloading -# the index file, see: https://github.com/arduino/arduino-cli/issues/2345 RUN arduino-cli config add board_manager.additional_urls \ https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_dev_index.json && \ arduino-cli config add board_manager.additional_urls \ @@ -42,7 +40,6 @@ RUN arduino-cli config add board_manager.additional_urls \ https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json && \ arduino-cli config add board_manager.additional_urls \ http://drazzy.com/package_drazzy.com_index.json && \ - curl https://drazzy.com/package_drazzy.com_index.json >~/.arduino15/package_drazzy.com_index.json && \ arduino-cli update RUN arduino-cli core install esp32:esp32 diff --git a/.github/espidf-ci/Dockerfile b/.github/espidf-ci/Dockerfile index 063d566..83e280e 100644 --- a/.github/espidf-ci/Dockerfile +++ b/.github/espidf-ci/Dockerfile @@ -27,7 +27,7 @@ RUN ln -sf /bin/bash /bin/sh RUN cd / && \ git clone https://github.com/espressif/esp-idf && \ cd esp-idf && \ - git checkout v5.1.1 && \ + git checkout v5.2.1 && \ git submodule update --init --recursive RUN cd /esp-idf && \