diff --git a/Jenkinsfile b/Jenkinsfile index 770c3bc..8e5d4f9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,10 @@ pipeline { agent none triggers { pollSCM('H/15 * * * *') } + tools { + maven 'apache-maven-3.0.1' + jdk 'OpenJDK 9' + } stages { stage('Build') { parallel {