diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 9c0a3a1e01..395beb72db 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -414,7 +414,7 @@ pipeline { } stages { stage ('check doc file changed') { - agent{label " slave217-1 "} + agent{label " slave1_47 || slave1_48 || slave1_49 || slave1_50 || slave1_52 || slave1_59 || slave1_63 || worker03 || slave215 || slave217 || slave219 || Mac_catalina "} steps { check_docs() } @@ -508,7 +508,7 @@ pipeline { } } stage('linux test') { - agent{label " slave217-1 "} + agent{label "slave1_47 || slave1_48 || slave1_49 || slave1_50 || slave1_52 || slave1_59 || slave1_63 || worker03 || slave215 || slave217 || slave219 "} options { skipDefaultCheckout() } when { changeRequest()