diff --git a/.github/workflows/core.yml b/.github/workflows/core.yml index 48c660c53a..8a3c7a7f65 100644 --- a/.github/workflows/core.yml +++ b/.github/workflows/core.yml @@ -9,6 +9,7 @@ on: - 'core/**' - 'docker/**' - '!**.md' + - '!ci/jenkins/**' pull_request: # file paths to consider in the event. Optional; defaults to all. paths: @@ -16,6 +17,7 @@ on: - 'core/**' - 'docker/**' - '!**.md' + - '!ci/jenkins/**' jobs: ubuntu: diff --git a/ci/jenkins/Jenkinsfile b/ci/jenkins/Jenkinsfile index 1b48bd7799..e11657b99a 100644 --- a/ci/jenkins/Jenkinsfile +++ b/ci/jenkins/Jenkinsfile @@ -70,10 +70,10 @@ pipeline { changeset 'core/**' changeset 'docker/**' changeset 'test/**' - } - not { - anyOf { - changeset '**/*.md' + not { + anyOf { + changeset '**/*.md' + } } } } @@ -129,10 +129,10 @@ pipeline { changeset 'core/**' changeset 'docker/**' changeset 'test/**' - } - not { - anyOf { - changeset '**/*.md' + not { + anyOf { + changeset '**/*.md' + } } } } @@ -164,10 +164,10 @@ pipeline { changeset 'core/**' changeset 'docker/**' changeset 'test/**' - } - not { - anyOf { - changeset '**/*.md' + not { + anyOf { + changeset '**/*.md' + } } } }