From bf8b30e061ff628727689c1395a00d2bde8a4aea Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Mon, 28 Mar 2022 13:56:04 +0200
Subject: [PATCH] jenkins

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1218dd96..df7145c8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,9 @@ pipeline {
         
         stage('Reporting') {
             steps {
-                sh '${M2_HOME}/bin/mvn --batch-mode -V -U -e pmd:pmd pmd:cpd findbugs:findbugs spotbugs:spotbugs'
+                withMaven(maven: 'Maven', options: [findbugsPublisher(disabled: true)]) {
+                    sh "mvn --batch-mode -V -U -e pmd:pmd pmd:cpd findbugs:findbugs spotbugs:spotbugs"
+                }
             }
         }
     }