From 1b58ddb8ffc879deb66b3908d7f61264eb9e5907 Mon Sep 17 00:00:00 2001
From: Alexei Fedotov <alexei.fedotov@gmail.com>
Date: Thu, 24 Oct 2024 19:39:54 +0200
Subject: [PATCH] Add doxygen back

---
 .github/workflows/build.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index aca1e63a9..aa5745367 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -86,3 +86,8 @@ jobs:
         run: |
           ./scripts/compile.sh -DLLVM_LIT_ARGS="-a" -DLLVM_EXTERNAL_LIT=$(which lit) -DMLIR_DIR=${{ github.workspace }}/mlir/lib/cmake/mlir
           cmake --build build --target check-imex
+
+      - name: Build doxygen docs
+        shell: bash -le {0}
+        run: |
+          cmake --build build --target doc_doxygen