From 4b455f695ec757a87b9d84a11bd2b03e8942a183 Mon Sep 17 00:00:00 2001
From: lathoub <4082369+lathoub@users.noreply.github.com>
Date: Thu, 20 Jan 2022 05:54:06 +0100
Subject: [PATCH] Update build-arduino.sh

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

diff --git a/ci/build-arduino.sh b/ci/build-arduino.sh
index b4ee387..b967259 100644
--- a/ci/build-arduino.sh
+++ b/ci/build-arduino.sh
@@ -22,6 +22,9 @@ arduino-cli core update-index
 # arduino-cli core install arduino:esp8266
 arduino-cli core install esp32:esp32
 
+# List the boards
+arduino-cli board list
+
 # Link Arduino library
 ln -s $GITHUB_WORKSPACE $HOME/Arduino/libraries/CI_Test_Library