From 33b532a21440412640f14fcdffa7cf83b7664d39 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Thu, 20 Aug 2026 11:49:22 +0200
Subject: ci: enable header set verification

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6bf8b8bc..01cf6b8b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,7 +3,7 @@ build:bht:
   image: registry.gitlab.ost.ch:45023/teachos/devcontainers/bht.ci:latest
   script:
     - cmake --preset $PRESET
-    - cmake --build --preset $PRESET-dbg 2>&1 | tee build_output.txt
+    - cmake --build --preset $PRESET-dbg --target all all_verify_header_sets 2>&1 | tee build_output.txt
     - set -o pipefail
     - python3 scripts/ci/parse_clang_tidy.py build_output.txt > code-quality-$PRESET.json
   artifacts:
@@ -21,7 +21,7 @@ build:bootable:
   image: registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64.ci:latest
   script:
     - cmake --preset $PLATFORM
-    - cmake --build --preset $PLATFORM-$TYPE 2>&1 | tee build_output.txt
+    - cmake --build --preset $PLATFORM-$TYPE --target all all_verify_header_sets 2>&1 | tee build_output.txt
     - set -o pipefail
     - python3 scripts/ci/parse_clang_tidy.py build_output.txt > code-quality-$PLATFORM-$TYPE.json
     - cp build/${PLATFORM}/bin/**/kernel.{dis,elf,sym,iso} .
-- 
cgit v1.2.3