diff --git a/Jenkinsfile b/Jenkinsfile index d28fbb0..238e7b2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent any + tools { + jdk("openjdk-17") + } stages { stage('Init') {