commit ef46ee6225bc478bd6d7c4ce90e87dde86dadccc
author Eugen Stan <eugen@ieugen.ro> Mon Jul 20 12:41:40 2020 +0300
committer Eugen Stan <eugen@ieugen.ro> Mon Jul 20 12:41:40 2020 +0300
tree 8620274457dca95604de83e9124fbb8f70c75c61
parent c506251895476cab0814397579e6bbefc4d782f6

[JAMES-3226] Fixed publish in Jenkinsfile - using specific maven version in tools { }

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index e7d8d72..0a1a168 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,6 +20,7 @@
 
 def AGENT_LABEL = env.AGENT_LABEL ?: 'ubuntu'
 def JDK_NAME = env.JDK_NAME ?: 'JDK 11 (latest)'
+def MAVEN_NAME = 'Maven 3 (latest)'
 
 pipeline {
 
@@ -33,6 +34,7 @@
 
     tools {
         jdk JDK_NAME
+        maven MAVEN_NAME
     }
 
     options {