From e55ffcddc58c89fdd83d35f5f256427d658e41a8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?=
 <bombe@pterodactylus.net>
Date: Wed, 2 Oct 2024 23:07:18 +0200
Subject: [PATCH] =?utf8?q?=F0=9F=92=9A=20Remove=20coverage=20recording=20w?=
 =?utf8?q?ith=20JaCoCo=20plugin?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

The normal Coverage plugin does the job well enough.
---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8dbd760..f4ed219 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,6 @@ pipeline {
             post {
                 always {
                     junit 'build/test-results/*/*.xml'
-                    jacoco classPattern: 'build/classes/*/main', sourcePattern: '**/src/main/'
                     recordCoverage(tools: [[parser: 'JACOCO', pattern: '**/jacocoTestReport.xml']])
                 }
             }
-- 
2.7.4