diff --git a/.ci/dev/mswin/Jenkinsfile b/.ci/dev/mswin/Jenkinsfile index 8a7d19c5a3..f09522578b 100644 --- a/.ci/dev/mswin/Jenkinsfile +++ b/.ci/dev/mswin/Jenkinsfile @@ -28,6 +28,9 @@ pipeline { ansiColor('xterm') timestamps() timeout(time: 3, unit: 'HOURS') +// overrideIndexTriggers true // works as expected for PRs +// overrideIndexTriggers false // works as expected for non PRs + overrideIndexTriggers (!isReleaseBranch) } parameters {