From 498d192e97908dadb0c751e4dc20d56e31a0b59b Mon Sep 17 00:00:00 2001
From: lathoub <4082369+lathoub@users.noreply.github.com>
Date: Thu, 20 Jan 2022 07:32:53 +0100
Subject: [PATCH] Update build-arduino.sh

---
 ci/build-arduino.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/build-arduino.sh b/ci/build-arduino.sh
index f24d0cd..2954e4f 100644
--- a/ci/build-arduino.sh
+++ b/ci/build-arduino.sh
@@ -16,6 +16,7 @@ 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://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_index.json
 arduino-cli core update-index -v
+arduino-cli core list
 
 # Install Arduino AVR core
 arduino-cli core install arduino:avr