diff --git a/Jenkinsfile b/Jenkinsfile index e624095..47f9d1d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,11 +13,11 @@ pipeline { stage("Build on Linux") { agent { label 'linux' + tools { + jdk 'jdk8' + } } - tools { - jdk 'jdk8' - } steps { script {