From 85f818421f980880c1afed698616af31b9a1d5ba Mon Sep 17 00:00:00 2001 From: Rob Bradford Date: Fri, 16 Dec 2022 08:14:36 +0000 Subject: [PATCH] build: Skip Jenkins build on .github only changes Fixes: #4988 Signed-off-by: Rob Bradford --- Jenkinsfile | 7 +++++++ 1 file changed, 7 insertions(+) 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 }