diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 33c3ef55c97da73209e7b5b2d5527df8d6bde93d..ac36f0e69e3b4682a8e37ff1aaedcf16fc490935 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -361,7 +361,7 @@ pipeline {
             }
             parallel {
                 stage('check docs') {
-                    agent{label " worker03 || slave215 || slave217 || slave219 || Mac_catalina "}
+                    agent{label " slave1_47 "}
                     steps {
                         check_docs()
                     }
@@ -407,7 +407,7 @@ pipeline {
                     }
                 }
                 stage('linux test') {
-                    agent{label " worker03 || slave215 || slave217 || slave219 "}
+                    agent{label " slave1_47 "}
                     options { skipDefaultCheckout() } 
                     when {
                         changeRequest()