Add board header check

.github/workflows/checks.yml

@@ -0,0 +1,14 @@
+name: Generic Check Scripts
+on:
+  push:
+  pull_request:
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v3
+      - name: Check Board Headers
+        run: |
+          ./tools/check_all_board_headers.sh

tools/check_all_board_headers.sh

@@ -2,6 +2,7 @@
 for HEADER in src/boards/include/boards/*.h; do
     tools/check_board_header.py $HEADER
     if [[ $? -ne 0 ]]; then
-      break
+        echo "ERROR: $HEADER failed validation"
+        echo ""
     fi
 done