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