From 25e6dc24bd2ac11dc5f551a6258d3d3cc93483a1 Mon Sep 17 00:00:00 2001 From: andynosy Date: Tue, 30 Jun 2020 23:55:27 -0400 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 518c77c27..a96d585ee 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - maven 'Maven' + maven 'maven' } stages { stage ('Initialize') {