diff --git a/Jenkinsfile b/Jenkinsfile index b8a587efd..592c99588 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - label 'worker6' + label 'worker5' } environment {