diff --git a/.github/workflows/pull-requests-release.yaml b/.github/workflows/pull-requests-release.yaml index 23056641..7b047474 100644 --- a/.github/workflows/pull-requests-release.yaml +++ b/.github/workflows/pull-requests-release.yaml @@ -3,6 +3,8 @@ name: "Releasing PR" on: pull_request: types: [closed] + paths-ignore: + - 'docs/**/*' # Cancel in‑flight runs for the same PR when a new push arrives. concurrency: diff --git a/.github/workflows/pull-requests.yaml b/.github/workflows/pull-requests.yaml index 989e9f49..416a4b3c 100644 --- a/.github/workflows/pull-requests.yaml +++ b/.github/workflows/pull-requests.yaml @@ -3,6 +3,8 @@ name: Pull Request on: pull_request: types: [labeled, opened, synchronize, reopened] + paths-ignore: + - 'docs/**/*' # Cancel in‑flight runs for the same PR when a new push arrives. concurrency: