From d389fb440fae3f01d96905e179161a6ea659bd74 Mon Sep 17 00:00:00 2001 From: rmg-x Date: Fri, 22 Nov 2024 09:17:07 -0600 Subject: [PATCH] CI: Ignore changes to Documentation related files This will prevent CI from running if: - the only changes included are under the Documentation folder, or - the only changes included are *.md files in the root See: https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#example-excluding-paths --- .github/workflows/ci.yml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 79aa499fe02..f7969e1df18 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,14 @@ name: CI -on: [push, pull_request] +on: + push: + paths-ignore: + - 'Documentation/**' + - '*.md' + pull_request: + paths-ignore: + - 'Documentation/**' + - '*.md' concurrency: group: ${{ github.workflow }}-${{ github.head_ref || format('{0}-{1}', github.ref, github.run_number) }}