diff --git a/Jenkinsfile b/Jenkinsfile index a237a0f76f3262de6217bdc3b0a62363a2feaefa..398ce0f8696f7aa0c9e22918b838094333aba197 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -99,7 +99,7 @@ pipeline { } stages { stage('pre_build'){ - agent{label 'master'} + agent{label 'slave3_0'} options { skipDefaultCheckout() } when { changeRequest()