diff --git a/Jenkinsfile b/Jenkinsfile index a998b60b2..0c2b56d75 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - maven 'Maven 3.6.3' + maven 'maven 3.6.3' jdk 'jdk-13' } stages {