From 8bee03a7b669c28a2b614774a818caec887635dc Mon Sep 17 00:00:00 2001
From: Peter Barker <pbarker@barker.dropbear.id.au>
Date: Tue, 7 Mar 2023 20:33:32 +1100
Subject: [PATCH] Tools: add ci action to validate bord list

---
 Tools/scripts/build_ci.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Tools/scripts/build_ci.sh b/Tools/scripts/build_ci.sh
index 2c54199b5c..5416fadd5a 100755
--- a/Tools/scripts/build_ci.sh
+++ b/Tools/scripts/build_ci.sh
@@ -339,6 +339,12 @@ for t in $CI_BUILD_TARGET; do
         continue
     fi
 
+    if [ "$t" == "validate_board_list" ]; then
+        echo "Validating board list"
+        ./Tools/autotest/validate_board_list.py
+        continue
+    fi
+
     if [ "$t" == "signing" ]; then
         echo "Building signed firmwares"
         sudo apt-get update