diff --git a/Jenkinsfile b/Jenkinsfile index 48e21a5..5a47c8f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent any + tools { + jdk 'JDK17' + } stages { stage('Build') { steps {