From 2e3d15d6cfc6e2e835884d1d811e5eab0dfe8742 Mon Sep 17 00:00:00 2001 From: chenhaoran Date: Wed, 23 Nov 2022 16:57:59 +0800 Subject: [PATCH] ci:update ci server --- Jenkinsfile2 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 33c3ef55c9..ac36f0e69e 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() -- GitLab