From adda2b6c11dba334972a953459593c20f5fca454 Mon Sep 17 00:00:00 2001
From: Daniel Juenger <2955913+sleeepyjack@users.noreply.github.com>
Date: Sat, 19 Aug 2023 01:22:53 +0000
Subject: [PATCH] Add Doxygen check

---
 .github/workflows/pr.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index a4e30ec92..b83dcf365 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -32,6 +32,25 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
+  doxygen-check:
+    name: Doxygen check
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repo
+        uses: actions/checkout@v3
+      - name: Install Doxygen
+        run: |
+          sudo apt-get update -q
+          sudo apt-get install -y doxygen
+      - name: Check Doxygen docs
+        run: |
+          ./ci/pre-commit/doxygen.sh
+          if [ $? -ne 0 ]; then
+            echo "Doxygen check failed"
+            exit 1
+          fi
+        shell: bash -euxo pipefail {0}
+
   get-devcontainer-version:
     name: Get devcontainer version
     runs-on: ubuntu-latest