From 486ca3a688542f9f535522c29342e2dafe805d5a Mon Sep 17 00:00:00 2001
From: iabdalkader <i.abdalkader@gmail.com>
Date: Thu, 14 Mar 2024 08:41:52 +0100
Subject: [PATCH] tools/ci.sh: Add Arduino GIGA to stm32 CI build.

Signed-off-by: iabdalkader <i.abdalkader@gmail.com>
---
 .github/workflows/ports_stm32.yml | 1 +
 tools/ci.sh                       | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/.github/workflows/ports_stm32.yml b/.github/workflows/ports_stm32.yml
index 84d30b27f6..f5e01dc1f6 100644
--- a/.github/workflows/ports_stm32.yml
+++ b/.github/workflows/ports_stm32.yml
@@ -25,6 +25,7 @@ jobs:
         ci_func:  # names are functions in ci.sh
           - stm32_pyb_build
           - stm32_nucleo_build
+          - stm32_misc_build
     runs-on: ubuntu-20.04
     steps:
     - uses: actions/checkout@v4
diff --git a/tools/ci.sh b/tools/ci.sh
index 3cbc51cfad..f94f23893b 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -366,6 +366,12 @@ function ci_stm32_nucleo_build {
     diff $BUILD_WB55/firmware.unpack.dfu $BUILD_WB55/firmware.unpack_no_sk.dfu
 }
 
+function ci_stm32_misc_build {
+    make ${MAKEOPTS} -C mpy-cross
+    make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA submodules
+    make ${MAKEOPTS} -C ports/stm32 BOARD=ARDUINO_GIGA
+}
+
 ########################################################################################
 # ports/unix