aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-04-02 11:17:21 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-04-02 11:17:21 +0200
commit1f010078983e6ab4e74ee3d1efcfb3284620b002 (patch)
tree931bb1bdf25a29dc1ca8b4aab7ff9bb80ba82728
parent68b673fe0800067dafa7a47469eb89617bfd1b17 (diff)
downloadteachos-1f010078983e6ab4e74ee3d1efcfb3284620b002.tar.xz
teachos-1f010078983e6ab4e74ee3d1efcfb3284620b002.zip
ci: reduce coverage verbosity
-rw-r--r--.gitlab-ci.yml6
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 139eb0a..26e474e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,9 +35,9 @@ test:bht:
needs: ["build:bht"]
script:
- ctest --preset bht-dbg
- - lcov --config-file .lcovrc --capture --directory $(pwd) --output-file coverage.info
- - lcov --list coverage.info
- - genhtml --prefix $(pwd) --output-directory coverage coverage.info
+ - lcov --quiet --config-file .lcovrc --capture --directory $(pwd) --output-file coverage.info
+ - lcov --quiet --list coverage.info
+ - genhtml --quiet --prefix $(pwd) --output-directory coverage coverage.info
- gcovr --root . --cobertura-pretty --output coverage/cobertura-coverage.xml
after_script:
- echo "CoverageReport public URL - https://teachos.pages.ost.ch/-/kernel/-/jobs/$CI_JOB_ID/artifacts/coverage/index.html"