From 8e115d26d0a55bd61591ccd30a4173878dfd640c Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Tue, 5 Mar 2024 10:20:35 +0100
Subject: [PATCH] remove spotbugs (seems not be existing anymore)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 46ceb7ee..e2fa809f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,7 +33,7 @@ pipeline {
         always {
             junit testResults: '**/target/surefire-reports/TEST-*.xml'
 
-            recordIssues enabledForFailure: true, tool: spotBugs()
+            //recordIssues enabledForFailure: true, tool: spotBugs()
             recordIssues enabledForFailure: true, tool: pmdParser(pattern: '**/target/pmd.xml')
         }
         failure {