From 5667bc800051054fb32b0cc1c31fc2dedc6ee3c3 Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Mon, 4 Mar 2024 15:40:17 +0100
Subject: [PATCH] test new Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index af65acb3..9af0f0f5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ pipeline {
     stages {
         stage('Maven build') {
             steps {
-                withMaven(globalMavenSettingsConfig: '', jdk: '', maven: '', mavenSettingsConfig: '', traceability: true, options: [findbugsPublisher(disabled: true)]) {
+                withMaven(jdk: '17', traceability: true, options: [findbugsPublisher(disabled: true)]) {
                 //withMaven(maven: 'Maven', options: [findbugsPublisher(disabled: true)]) {
                     sh "mvn clean install -e -P let_reporting"
                 }