From f5d2e6cf02e69ff33a71106f09b5184c06c75e89 Mon Sep 17 00:00:00 2001
From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?=
 <bombe@freenetproject.org>
Date: Sat, 23 Nov 2024 16:13:50 +0100
Subject: [PATCH] =?utf8?q?=F0=9F=92=9A=20Use=20verify=20for=20recording=20?=
 =?utf8?q?JaCoCo=20coverage=20correctly?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 847401d..ae1f7c2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,7 +19,7 @@ pipeline {
                 jdk 'OpenJDK 8'
             }
             steps {
-                sh './mvnw test'
+                sh './mvnw verify'
             }
             post {
                 always {
-- 
2.7.4