remove broken rp2040

Links2004 · Jun 17, 2024 · d5f0d3c · d5f0d3c
1 parent 0e127c9
commit d5f0d3c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/travis/common.sh b/travis/common.sh
@@ -105,11 +105,10 @@ function get_sketches_json_matrix()
 }
 
 function get_core_cli() {
-    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"
+    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"
     arduino-cli core update-index
     arduino-cli core install esp8266:esp8266
     arduino-cli core install esp32:esp32
-    arduino-cli core install arduino:mbed_rp2040
 }
 
 function get_core()