diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml index 7f41ffd8..8dcd859e 100644 --- a/.github/workflows/pre-commit.yml +++ b/.github/workflows/pre-commit.yml @@ -2,7 +2,7 @@ name: Pre-Commit Checks on: pull_request: - types: [labeled, opened, synchronize, reopened] + types: [opened, synchronize, reopened] concurrency: group: pre-commit-${{ github.workflow }}-${{ github.event.pull_request.number }} 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 83d623cb..0e8f786e 100644 --- a/.github/workflows/pull-requests.yaml +++ b/.github/workflows/pull-requests.yaml @@ -2,7 +2,9 @@ name: Pull Request on: pull_request: - types: [labeled, opened, synchronize, reopened] + types: [opened, synchronize, reopened] + paths-ignore: + - 'docs/**/*' # Cancel in‑flight runs for the same PR when a new push arrives. concurrency: