chore(workflows): add concurrency limiter

This commit is contained in:
2025-10-24 18:01:50 -07:00
parent 30600f0c81
commit efb357d62b
4 changed files with 16 additions and 0 deletions

View File

@@ -9,6 +9,10 @@ on:
permissions: permissions:
contents: read # Needed to checkout the repository. contents: read # Needed to checkout the repository.
concurrency:
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
cancel-in-progress: true
jobs: jobs:
zizmor: zizmor:
name: zizmor name: zizmor

View File

@@ -11,6 +11,10 @@ on:
permissions: permissions:
contents: read # Needed to checkout the repository. contents: read # Needed to checkout the repository.
concurrency:
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
cancel-in-progress: true
jobs: jobs:
rustfmt: rustfmt:
name: rustfmt name: rustfmt

View File

@@ -11,6 +11,10 @@ on:
permissions: permissions:
contents: read # Needed to checkout the repository. contents: read # Needed to checkout the repository.
concurrency:
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
cancel-in-progress: true
jobs: jobs:
analyze: analyze:
name: analyze (${{ matrix.language }}) name: analyze (${{ matrix.language }})

View File

@@ -25,6 +25,10 @@ on:
permissions: permissions:
contents: read # Needed to checkout the repository. contents: read # Needed to checkout the repository.
concurrency:
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}"
cancel-in-progress: true
jobs: jobs:
artifacts: artifacts:
name: artifacts name: artifacts