[Slurp9187]

A newer push to a pull request now cancels the run it replaces, instead of both running to the end. One block goes into each of the five workflows that run on pull requests (audit, ci, codeql, dse-check, fuzz-quick):

concurrency:
  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
  cancel-in-progress: ${{ github.event_name == 'pull_request' }}

• Pull requests: the group is the workflow plus the PR number, so a new push cancels the in-progress run for the same PR and workflow.
• Everything else (pushes to main, the schedule, manual dispatch): the group is the run's own ID, so nothing is ever cancelled or queued. Every main commit keeps a complete result, which is what a release tag is checked against.

fuzz-miri and the two nightly fuzzers never run on pull requests, so they're unchanged.

🤖 Generated with Claude Code

https://claude.ai/code/session_01Jd6eJgv7urGn4rvMcVASo2

[Slurp9187]

Pushed directly to main instead, at the owner's request.