diff --git a/Jenkinsfile b/Jenkinsfile index 22136acfd..da4e80bd7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - JDK 'jdk17' + jdk 'jdk17' maven 'M3' }