From 1092d9553becafb3f63235258ace4da69ff15416 Mon Sep 17 00:00:00 2001
From: Patrick Grawehr <pgrawehr@hotmail.com>
Date: Sat, 16 Dec 2023 17:19:32 +0100
Subject: [PATCH] It's unclear why the build terminates after this step

---
 eng/ArduinoCsCI.cmd | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/eng/ArduinoCsCI.cmd b/eng/ArduinoCsCI.cmd
index 21eb3cc7f7..97abc7fae7 100644
--- a/eng/ArduinoCsCI.cmd
+++ b/eng/ArduinoCsCI.cmd
@@ -16,7 +16,8 @@ arduino-cli config init
 arduino-cli config add board_manager.additional_urls https://raw.githubusercontent.com/espressif/arduino-esp32/gh-pages/package_esp32_dev_index.json
 arduino-cli core update-index
 
-build.cmd -ci -configuration %2 -preparemachine
+REM directly execute PS, we can ignore any test errors.
+powershell -ExecutionPolicy ByPass -command "%~dp0eng\common\Build.ps1" -restore -build -ci -configuration %2 -preparemachine
 
 set ArduinoRootDir=%1\Documents\Arduino
 set acspath=%~dp0\..\tools\ArduinoCsCompiler\Frontend\bin\%2\net6.0\acs.exe