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