diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 9374dc1bda..f98f24e509 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -401,7 +401,7 @@ pipeline { } } stage('linux test') { - agent{label "slave1_52 | slave217 | slave219 "} + agent{label "slave1_52 || slave217 || slave219 "} options { skipDefaultCheckout() } when { changeRequest()