github: add header guard check

Author: atkassen

.github/workflows/pr-linter.yml

@@ -42,6 +42,17 @@ jobs:
       - name: Check commit messages
         run: python3 ./.github/automation/commit-msg-check.py "${{ github.event.pull_request.head.sha }}" "${{ github.event.pull_request.base.sha }}"
 
+  pr-header-guards:
+    name: Header guards
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+        with:
+          fetch-depth: 0
+      - name: Check header guards
+        run: ./scripts/fix_header_guards.py $(git diff --name-only "${{ github.event.pull_request.base.sha }}")
+
   pr-clang-format:
     name: Clang-Format
     runs-on: ubuntu-22.04
@@ -95,4 +106,4 @@ jobs:
     needs: [ pr-commits, pr-clang-format, pr-format-tags ]
     steps:
       - name: Print success
-        run: echo "Success"
+        run: echo "Success"