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) }}