From 3634975f7d80078788775660ab645044e5f8fb9d Mon Sep 17 00:00:00 2001 From: yetju000 Date: Sat, 23 Nov 2019 10:23:42 +0100 Subject: [PATCH] jenkinsfile tools test --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 79b1904..e76efc3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - maven 'default' + maven 'Default' jdk 'java-11-openjdk-amd64' }