diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f2cfd1d..b37da93 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -22,6 +22,24 @@ build: - kernel.iso <<: *build_matrix +bht: + stage: build + image: registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:15.2.0-3 + before_script: + - apt update + - apt install -y build-essential libcatch2-dev + script: + - cmake --preset bht + - cmake --build --preset bht-dbg + - ctest --preset bht-dbg + - lcov --config-file .lcovrc --capture --directory $(pwd) --output-file coverage.info + - lcov --config-file .lcovrc --list coverage.info + coverage: '/Total:\|(\d+\.?\d+)\%/' + artifacts: + paths: + coverage.info + expire_in: 24 hours + license_check: stage: .pre image: |