From b5d3a0b4b357e80cb65c84433ea527294f61a857 Mon Sep 17 00:00:00 2001 From: "aloui.wissem" Date: Thu, 5 Jan 2023 15:23:08 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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"