Update build-arduino.sh

lathoub · Jan 20, 2022 · 4b455f6 · 4b455f6
1 parent a8cb8f3
commit 4b455f6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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