From 9f8e09d02bbd1f22c0496fe025750f1e7c442008 Mon Sep 17 00:00:00 2001 From: KVKR31 Date: Fri, 4 Aug 2023 14:52:30 +0530 Subject: [PATCH] added --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index d37b5fe6f..0f0a19c6a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,6 +9,7 @@ pipeline { } tools { jdk 'JDK_17' + maven 'maven 3.9.4' } stages { stage('code') {