tools/ci.sh: Add a H5 board to stm32 CI build.

dpgeorge · dpgeorge · commit 04bb848bf23f · 2023-06-14T17:27:06.000+10:00
Signed-off-by: Damien George &lt;damien@micropython.org&gt;
diff --git a/tools/ci.sh b/tools/ci.sh
@@ -358,6 +358,7 @@ function ci_stm32_nucleo_build {
 
     # Test building various MCU families, some with additional options.
     make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_F091RC
+    make ${MAKEOPTS} -C ports/stm32 BOARD=STM32H573I_DK
     make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_H743ZI COPT=-O2 CFLAGS_EXTRA='-DMICROPY_PY_THREAD=1'
     make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_L073RZ
     make ${MAKEOPTS} -C ports/stm32 BOARD=NUCLEO_L476RG DEBUG=1
