arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00
Code

CI: update arduino IDE url (#8563)

Browse Source
This commit is contained in:
david gauchard 2022-05-12 12:55:03 +02:00 committed by GitHub
parent da4a19fdac
commit 2904021cb9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/common.sh
View File

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