diff --git a/Jenkinsfile b/Jenkinsfile index 8ec2e6f..34ac74a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,8 @@ pipeline { agent any + tools { + jdk 'JDK 21.0.3' + } stages { stage("build") { steps {