From 525ea921d6185918549d660591d5590cb09fba0d Mon Sep 17 00:00:00 2001
From: Michael Kuron <mkuron@icp.uni-stuttgart.de>
Date: Sat, 4 Jul 2020 08:57:29 +0200
Subject: [PATCH] coverage: print summary and generate cobertura report

---
 .gitlab-ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ab6fea06e..07fc10690 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1641,10 +1641,12 @@ coverage:
       - cd ..
       - mkdir coverage
       - pwd
-      - gcovr -r $CI_PROJECT_DIR -k build -f "src" --html --html-details -o coverage/coverage.html
+      - gcovr -r $CI_PROJECT_DIR -k build -f "src" --print-summary --html coverage/coverage.html --html-details --xml coverage/coverage.xml
    artifacts:
       paths:
          - coverage/
+      reports:
+        cobertura: coverage/coverage.xml
    only:
       variables:
          - $ENABLE_NIGHTLY_BUILDS
-- 
GitLab