Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-21 10:52:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

use ARDUINO_BOARD_MANAGER_ADDITIONAL_URLS env for setting board URLs

Browse Source
This commit is contained in:
Links2004
2024-01-05 15:06:30 +01:00
parent 437c0252f1
commit 241c73a806
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
travis/common.sh
View File

@ -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