diff --git a/Jenkinsfile b/Jenkinsfile index 79b1904..e76efc3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - maven 'default' + maven 'Default' jdk 'java-11-openjdk-amd64' }