From 41eefb3d71c1b08a6b49d74462dab4b71fe4d47e Mon Sep 17 00:00:00 2001 From: tangfangzhi Date: Mon, 18 Jul 2022 10:46:40 +0800 Subject: [PATCH] ci: skip docs pr --- Jenkinsfile2 | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 32e9b11520..1b04e40f2a 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -333,6 +333,11 @@ pipeline { } stages { stage('run test') { + when { + allOf { + not { expression { env.CHANGE_BRANCH =~ /docs\// }} + } + } parallel { stage('windows test') { agent{label " windows10_01 || windows10_02 || windows10_03 || windows10_04 "} -- GitLab