diff --git a/Jenkinsfile b/Jenkinsfile index ca443b8dc..cd4e8a38f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,7 @@ pipeline { tools { maven 'MAVEN' + jdk 'JDK-17' } agent { label 'Master'} triggers { pollSCM ('* * * * *') }