From 740c67d328900ad4389e9a76cc8510e9b01f7699 Mon Sep 17 00:00:00 2001 From: slzhou Date: Sat, 13 May 2023 12:03:31 +0800 Subject: [PATCH] ci: restore machines back --- Jenkinsfile2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile2 b/Jenkinsfile2 index a9e74d3d86..55bd5466ed 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -407,7 +407,7 @@ pipeline { } } stage('linux test') { - agent{label " slave1_47 || slave1_48 || slave1_49 || slave1_52 || worker03 "} + agent{label " slave1_47 || slave1_48 || slave1_49 || slave1_52 || worker03 || slave215 || slave217 || slave219 "} options { skipDefaultCheckout() } when { changeRequest() -- GitLab