diff --git a/Jenkinsfile b/Jenkinsfile index e57bbb42d..927bf194e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -31,7 +31,7 @@ pipeline { ) } } - stage ('package') { + stage('package') { tools { jdk 'JDK_17' maven 'MAVEN'