From 133ddb61638dd9baf75e2c7cbaabdf22ba08369e Mon Sep 17 00:00:00 2001
From: Christian Merten <christian@merten.dev>
Date: Mon, 10 Apr 2023 16:42:32 +0200
Subject: [PATCH] ci: collect coverage report

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index c0119f8..054dfef 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,6 +14,7 @@ pipeline {
         stage('Test') {
             steps {
                 sh "make test"
+                recordCoverage(tools: [[parser: 'COBERTURA', pattern: 'docker/test/coverage.xml']])
             }
         }
     }