From af1b37244d379ccc1418fcb65cc6d7be7485784c Mon Sep 17 00:00:00 2001
From: haoranchen <haoran920c@163.com>
Date: Thu, 24 Nov 2022 00:23:20 +0800
Subject: [PATCH] ci:add ci server slave1_47 (#18407)

* ci:add ci server slave1_47

* ci:add ci server slave1_47/48/52

* ci:add ci server slave1_47/48/49/52
---
 Jenkinsfile2 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile2 b/Jenkinsfile2
index de39f4fcec..fcc02dc3e0 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 || slave1_48 || slave1_49 || slave1_52 || worker03 || slave215 || slave217 || slave219 || Mac_catalina "}
                     steps {
                         check_docs()
                     }
@@ -407,7 +407,7 @@ pipeline {
                     }
                 }
                 stage('linux test') {
-                    agent{label " worker03 || slave215 || slave217 || slave219 "}
+                    agent{label " slave1_47 || slave1_48 || slave1_49 || slave1_52 || worker03 || slave215 || slave217 || slave219 "}
                     options { skipDefaultCheckout() } 
                     when {
                         changeRequest()
-- 
GitLab