diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 32e9b1152061d054f253d3bb431cc7d6159f8c7d..1b04e40f2a312f663dae2b0e9c2177618607de1f 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 "}