From e6f9e88bb8fd22731f9c85593449af968f87e0f7 Mon Sep 17 00:00:00 2001 From: pavelbannov Date: Thu, 3 Sep 2020 18:49:43 +0300 Subject: [PATCH] new jenkins server --- build/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/Jenkinsfile b/build/Jenkinsfile index 09b2b3bf6d..7403dc15ca 100644 --- a/build/Jenkinsfile +++ b/build/Jenkinsfile @@ -29,7 +29,7 @@ pipeline { } } stage('Windows') { - agent { label 'master' } + agent { label 'win-core' } stages { stage('Components') { steps {