From a918f2a44db1c1e6017ba73f932306a91d63e9b7 Mon Sep 17 00:00:00 2001
From: ANDREY Paul <paul.andrey@inria.fr>
Date: Wed, 29 Mar 2023 09:08:16 +0000
Subject: [PATCH] Add coverage statistic capture to CI/CD config.
---
.gitlab-ci.yml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a79318eb..f1159243 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,6 +17,7 @@ test:
coverage_report:
coverage_format: cobertura
path: coverage.xml
+ coverage: /(?i)total.*? (100(?:\.0+)?\%|[1-9]?\d(?:\.\d+)?\%)$/
rules:
- if: ($CI_PIPELINE_SOURCE == "push") &&
(($CI_COMMIT_BRANCH == "develop") || ($CI_COMMIT_BRANCH =~ "/^r\d\.\d+/"))
@@ -36,6 +37,7 @@ test-full:
coverage_report:
coverage_format: cobertura
path: coverage.xml
+ coverage: /(?i)total.*? (100(?:\.0+)?\%|[1-9]?\d(?:\.\d+)?\%)$/
rules:
- if: ($CI_PIPELINE_SOURCE == "merge_request_event") &&
($CI_MERGE_REQUEST_TITLE !~ /^Draft:.*/)
--
GitLab