From 76c553b52f5deb467138957ec3b082fa253fab6f Mon Sep 17 00:00:00 2001
From: webmanue <manuel.weberndorfer@id.ethz.ch>
Date: Mon, 30 May 2022 09:32:27 +0000
Subject: [PATCH] use "coverage_report" instead of "cobertura"

- required by updated version of GitLab
---
 .gitlab-ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5c3d1201..2c1dfc71 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -115,7 +115,9 @@ check-script:
             '
     artifacts:
         reports:
-            cobertura: build/coverage.xml
+            coverage_report:
+                coverage_format: cobertura
+                path: build/coverage.xml
             junit: build/*/test/gtest-results.xml
         when: always
 
-- 
GitLab