CI: a newer push supersedes older runs (concurrency)

c0e3249 · Gabe Morell · 2026-10-27 04:07

5 files +21 -0
Message
{commit_body(@commit)}

Files changed

modified .github/workflows/audit.yml
+7 −0
@@ -24,6 +24,13 @@ on:
24 24 permissions:
25 25 contents: read
26 26
27 +# A newer push supersedes this run: on a branch or PR the run in
28 +# progress is cancelled; on master it finishes, and only a run still
29 +# waiting is replaced.
30 +concurrency:
31 + group: ${{ github.workflow }}-${{ github.ref }}
32 + cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
33 +
27 34 jobs:
28 35 osv:
29 36 runs-on: arc-runner-set
modified .github/workflows/dependency-updates.yml
+7 −0
@@ -19,6 +19,13 @@ permissions:
19 19 contents: write # push the deps/security-cargo branch
20 20 pull-requests: write # open, refresh and close its pull request
21 21
22 +# A newer push supersedes this run: on a branch or PR the run in
23 +# progress is cancelled; on master it finishes, and only a run still
24 +# waiting is replaced.
25 +concurrency:
26 + group: ${{ github.workflow }}-${{ github.ref }}
27 + cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
28 +
22 29 jobs:
23 30 update:
24 31 # The script opens its pull request through the forge's API, which
modified .github/workflows/rust-ci.yml
+7 −0
@@ -12,6 +12,13 @@ env:
12 12 REGISTRY: ghcr.io
13 13 IMAGE_NAME: ${{ github.repository }}
14 14
15 +# A newer push supersedes this run: on a branch or PR the run in
16 +# progress is cancelled; on master it finishes, and only a run still
17 +# waiting is replaced.
18 +concurrency:
19 + group: ${{ github.workflow }}-${{ github.ref }}
20 + cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
21 +
15 22 jobs:
16 23 build:
17 24 strategy:

Parents: 54937fd