diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 55bd5466ed4abe40cfaedc634b75a59b43668759..a9e74d3d86a10579ba25fb3ed915185f23ae18ef 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -407,7 +407,7 @@ pipeline { } } stage('linux test') { - agent{label " slave1_47 || slave1_48 || slave1_49 || slave1_52 || worker03 || slave215 || slave217 || slave219 "} + agent{label " slave1_47 || slave1_48 || slave1_49 || slave1_52 || worker03 "} options { skipDefaultCheckout() } when { changeRequest()