Update build-arduino.sh

Author: lathoub

ci/build-arduino.sh

@@ -13,14 +13,15 @@ export PATH=$PATH:$GITHUB_WORKSPACE/bin
 curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh
 arduino-cli config init
 arduino-cli config set library.enable_unsafe_install true
-arduino-cli core update-index --config-file arduino-cli.yaml
+arduino-cli core update-index --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json
+arduino-cli core update-index --additional-urls https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
 arduino-cli core update-index
 
 # Install Arduino AVR core
 # arduino-cli core install arduino:avr
 # arduino-cli core install arduino:samd
 # arduino-cli core install arduino:esp8266
-arduino-cli core install esp32:esp32:DOIT-ESP32-DEVKIT-V1
+arduino-cli core install esp32:esp32:esp32doit-devkit-v1
 
 # List the boards
 arduino-cli board list