diff --git a/Jenkinsfile b/Jenkinsfile index 2a8a466f..df4af8f4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,5 @@ pipeline { - agent { - label 'master' - } - + agent any options { timestamps() disableConcurrentBuilds()