diff --git a/Jenkinsfile b/Jenkinsfile index 88ec9b8..301ce57 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,7 +3,7 @@ pipeline { agent any tools { - jdk "jdk17u0-b1" + jdk "jdk-17.0.1" } stages { stage('Clean') {