CI: update arduino IDE url (esp8266#8563)

hasenradball · Nov 18, 2024 · b8b1b75 · b8b1b75
1 parent 4c87d0c
commit b8b1b75
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/common.sh b/tests/common.sh
@@ -150,10 +150,10 @@ function install_libraries()
 function install_ide()
 {
     local idever='nightly'
-    local ideurl='https://www.arduino.cc/download.php?f=/arduino-nightly'
-
     #local idever='1.8.10'
-    #local ideurl="https://downloads.arduino.cc/arduino-$idever"
+
+    #local ideurl='https://www.arduino.cc/download.php?f=/arduino-nightly'
+    local ideurl="https://downloads.arduino.cc/arduino-$idever"
 
     echo "using Arduino IDE distribution ${idever}"