diff --git a/Jenkinsfile b/Jenkinsfile index b38a937..2225228 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,5 @@ pipeline { - agent any { - tools { - jdk 'jdk8' - } - } + agent any options { buildDiscarder( @@ -19,7 +15,9 @@ pipeline { label 'linux' } - + tools { + jdk "jdk8" + } steps { script { sh '''