From 936f55ba0daad309e8b542e2145a675654f12281 Mon Sep 17 00:00:00 2001 From: carlitalabbe Date: Thu, 2 Apr 2020 13:36:42 -0400 Subject: [PATCH] tool names edited --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 338599f12..16107d05e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,8 @@ pipeline { agent any tools { - maven 'maven 3.6.3' - jdk 'jdk-1.8' + maven 'maven 3.6' + jdk 'Java 1.' } stages { stage('Build') {