diff --git a/Jenkinsfile b/Jenkinsfile index bf33e5713..c7cf2b4da 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -438,5 +438,12 @@ def boolean skipWorkerBuild() { return true } + if (sh( + returnStatus: true, + script: "git diff --name-only origin/${env.CHANGE_TARGET}... | grep -v -E '.github/'" + ) != 0) { + return true + } + return false }