@@ -8,7 +8,9 @@ on:
workflow_dispatch:
concurrency:
- group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+ # Keep every run on dev so cancelled checks do not pollute the default branch
+ # commit history. PRs and other branches still share a group and cancel stale runs.
+ group: ${{ case(github.ref == 'refs/heads/dev', format('{0}-{1}', github.workflow, github.run_id), format('{0}-{1}', github.workflow, github.event.pull_request.number || github.ref)) }}
cancel-in-progress: true
permissions: