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

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

diff --git a/ci/build-arduino.sh b/ci/build-arduino.sh
index b967259..9da656a 100644
--- a/ci/build-arduino.sh
+++ b/ci/build-arduino.sh
@@ -20,7 +20,7 @@ arduino-cli core update-index
 # arduino-cli core install arduino:avr
 # arduino-cli core install arduino:samd
 # arduino-cli core install arduino:esp8266
-arduino-cli core install esp32:esp32
+arduino-cli core install esp32:esp32:DOIT-ESP32-DEVKIT-V1
 
 # List the boards
 arduino-cli board list