diff --git a/Jenkinsfile b/Jenkinsfile index 8a5be402..956c454c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,5 @@ pipeline { - agent { - label 'docker' - } + agent any options { timestamps() disableConcurrentBuilds()