Update build-arduino.sh

Author: lathoub

ci/build-arduino.sh

@@ -13,15 +13,14 @@ 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 --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json
+# 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 -v
-arduino-cli core list
+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 esp8266:esp8266
+# arduino-cli core install esp8266:esp8266
 arduino-cli core install esp32:esp32
 
 # List the boards