From 241c73a8060c8b72839e9cff7eca042b32d2c4de Mon Sep 17 00:00:00 2001 From: Links2004 Date: Fri, 5 Jan 2024 15:06:30 +0100 Subject: [PATCH] use ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS env for setting board URLs --- travis/common.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/travis/common.sh b/travis/common.sh index ffe3d2f..84ed157 100644 --- a/travis/common.sh +++ b/travis/common.sh @@ -105,7 +105,8 @@ function get_sketches_json_matrix() } function get_core_cli() { - arduino-cli core update-index --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json,https://espressif.github.io/arduino-esp32/package_esp32_index.json,https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json + export ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS="https://arduino.esp8266.com/stable/package_esp8266com_index.json https://espressif.github.io/arduino-esp32/package_esp32_index.json https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json" + arduino-cli core update-index arduino-cli core install esp8266:esp8266 arduino-cli core install esp32:esp32 arduino-cli core install arduino:mbed_rp2040