From be05ebb0d36de1ca1a88fa047ca4b8258303e66c Mon Sep 17 00:00:00 2001
From: YuCheng Hu <huyuchengus@gmail.com>
Date: Fri, 17 Jun 2022 12:51:11 -0400
Subject: [PATCH] add tools for Jenkinsfile

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 45be821fc4..3b290f2ef4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,11 @@
 pipeline {
     agent any
 
+    tools {
+        maven 'Maven 3.8.6'
+        jdk 'jdk11'
+    }
+
     stages {
         stage('Build') {
             steps {