diff --git a/Jenkinsfile b/Jenkinsfile index 4d3a2e3..ac2f735 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,6 +2,9 @@ pipeline { agent any + tools { + jdk "jdk8u292-b10" + } stages { stage('Clean') { steps {