diff --git a/Jenkinsfile b/Jenkinsfile index 35e7da4fd1..357174282c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,7 +2,7 @@ pipeline { agent any tools { - maven 'Maven 3.8.4' + maven 'maven 3.8.4' jdk 'OpenJDK-11' }