diff --git a/Jenkinsfile b/Jenkinsfile index ce89d8b..3460e2e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,12 @@ pipeline { agent any + + environment { + JAVA_HOME = '/var/lib/jenkins/tools/hudson.model.JDK/jdk25' + PATH = "${JAVA_HOME}/bin:${PATH}" + } + tools { jdk 'jdk25' maven 'maven-3.9'