diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 7708bc7c02..6b152e6a24 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -3,6 +3,7 @@ pipeline { tools { maven 'maven-3.8.6' + jdk 'jdk8' } stages {