From c82c36fd1350cf7b44ad0a6260d5a90148896a1f Mon Sep 17 00:00:00 2001 From: Stijn Bannink <27051051+stijnb1234@users.noreply.github.com> Date: Tue, 25 Feb 2020 15:38:10 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 1093c2c..2b3ae60 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any tools { - maven 'Maven 3.3.9' + maven 'Maven 3.6.3' jdk 'jdk8' } stages {