aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-08-20 12:02:58 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-08-20 12:02:58 +0200
commitf964d72a1615021c0285fc02842c5c8cd662a026 (patch)
treeb7431ea357ba39fbb0619538a225de3b405dafff
parent33b532a21440412640f14fcdffa7cf83b7664d39 (diff)
downloadkernel-f964d72a1615021c0285fc02842c5c8cd662a026.tar.xz
kernel-f964d72a1615021c0285fc02842c5c8cd662a026.zip
ci: fix header set verification target
-rw-r--r--.gitlab-ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 01cf6b8b..9dd41adb 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 --target all all_verify_header_sets 2>&1 | tee build_output.txt
+ - cmake --build --preset $PRESET-dbg --target all all_verify_interface_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 --target all all_verify_header_sets 2>&1 | tee build_output.txt
+ - cmake --build --preset $PLATFORM-$TYPE --target all all_verify_interface_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} .