diff options
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} . |