add tools for Jenkinsfile

2022-06-17 12:51:11 -04:00 · 2022-06-17 12:51:11 -04:00 · be05ebb0d3
commit be05ebb0d3
parent f0cf866d20
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -1,6 +1,11 @@
 pipeline {
    agent any
    tools {
        maven 'Maven 3.8.6'
        jdk 'jdk11'
    }
    stages {
        stage('Build') {
            steps {