.github: include workflow name in concurrency ID
This hopefully fixes PRs failing as "cancelled". Drive-by cleanup old branch name while we're at it. commit-id:ec0076e0
This commit is contained in:
parent
6c02299f2b
commit
cf3f6def68
|
@ -5,7 +5,6 @@ on:
|
|||
push:
|
||||
branches:
|
||||
- dev.v2
|
||||
- switch-to-gha # XXX
|
||||
jobs:
|
||||
# Run the full Tilt build and wait for it to converge
|
||||
tilt:
|
||||
|
@ -17,7 +16,7 @@ jobs:
|
|||
# (unfortunately, we can't differentiate between temporary and permanent
|
||||
# refs without duplicating the entire logic).
|
||||
concurrency:
|
||||
group: tilt-${{ github.ref }}
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
|
||||
steps:
|
||||
|
@ -51,7 +50,7 @@ jobs:
|
|||
# The linter is slow enough that we want to run it on the self-hosted runner
|
||||
runs-on: tilt-kube-public
|
||||
concurrency:
|
||||
group: tilt-${{ github.ref }}
|
||||
group: ${{ github.workflow }}-${{ github.ref }}
|
||||
cancel-in-progress: true
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
|
|
Loading…
Reference in New Issue