added boardmanager esp32 esp8266

Author: lathoub

ci/build-arduino.sh

@@ -13,6 +13,8 @@ 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
+core update-index --additional-urls https://arduino.esp8266.com/stable/package_esp8266com_index.json
+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