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

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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