diff --git a/Jenkinsfile b/Jenkinsfile index be7508be5..f38c1fd3e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,11 +1,11 @@ pipeline { agent any -/* + tools { - maven "maven3" + maven "Maven" } -*/ + environment { NEXUS_VERSION = "nexus3" NEXUS_PROTOCOL = "http"