From 71c1c45fe266d73e307f422f09f2afdc41c70ec3 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 21 Mar 2022 22:46:51 +0000
Subject: Add Doxygen to one CI target

---
 .github/workflows/build.yaml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index efd72c48..cc3945bb 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -38,7 +38,7 @@ jobs:
         name: [
                 "LLVM 13",
                 "LLVM 12",
-                "LLVM 11",
+                "LLVM 11, Doxygen",
                 "LLVM 10",
                 "LLVM 9",
                 "LLVM 8",
@@ -62,9 +62,10 @@ jobs:
           - name: "LLVM 12"
             env:
               LLVM_VERSION: 12
-          - name: "LLVM 11"
+          - name: "LLVM 11, Doxygen"
             env:
               LLVM_VERSION: 11
+              ENABLE_DOXYGEN: 1
           - name: "LLVM 10"
             env:
               LLVM_VERSION: 10
-- 
cgit 1.4.1