with 1.8.11

d-a-v · d-a-v · commit a2f441be3e08 · 2020-11-21T12:40:07.000+01:00
diff --git a/tests/common.sh b/tests/common.sh
@@ -152,7 +152,7 @@ function install_ide()
     #local idever='nightly'
     #local ideurl='https://www.arduino.cc/download.php?f=/arduino-nightly'
 
-    local idever='1.8.12'
+    local idever='1.8.11'
     local ideurl="https://downloads.arduino.cc/arduino-$idever"
 
     echo "using Arduino IDE distribution ${idever}"
