From 8febfad282f15a10b39d2e6b78a4ea262c82d11d Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@outlook.com>
Date: Thu, 9 Jan 2025 15:55:39 +0000
Subject: [PATCH] Added publishing of coverage results

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 76d5da5..10c1021 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,6 +16,7 @@ pipeline {
             steps {
                 sh returnStatus: true, script: "python -m pytest --junitxml=test_results.xml --cov=. --cov-report xml:coverage.xml"
                 xunit checksName: '', tools: [JUnit(excludesPattern: '', pattern: 'test_results.xml', stopProcessingIfError: true)]
+                recordCoverage(tools: [[parser: 'COBERTURA', pattern: './coverage.xml']])
             }
         }
         stage("build") {