diff options
| author | Felix Morgner <felix.morgner@ost.ch> | 2026-08-20 11:49:22 +0200 |
|---|---|---|
| committer | Felix Morgner <felix.morgner@ost.ch> | 2026-08-20 11:49:22 +0200 |
| commit | 33b532a21440412640f14fcdffa7cf83b7664d39 (patch) | |
| tree | 942bcf2dded0178dbb82a5f22d9cb82c3052ae69 /.gitlab-ci.yml | |
| parent | 4ecf7591449d34630b61e9a5cc734ebc9f8e07e4 (diff) | |
| download | kernel-33b532a21440412640f14fcdffa7cf83b7664d39.tar.xz kernel-33b532a21440412640f14fcdffa7cf83b7664d39.zip | |
ci: enable header set verification
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files 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} . |