diff --git a/Jenkinsfile b/Jenkinsfile index b935f8d84..e03f542d2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { - agent none + agent any stages {