ci: add PR concurrency to reduce redundant runs
This commit is contained in:
parent
13e4028d42
commit
ccb38f807a
1 changed files with 4 additions and 0 deletions
4
.github/workflows/pr.yml
vendored
4
.github/workflows/pr.yml
vendored
|
|
@ -3,6 +3,10 @@ name: pr-check
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
|
|
||||||
|
concurrency:
|
||||||
|
group: pr-${{github.workflow}}-${{github.event.pull_request.number}}
|
||||||
|
cancel-in-progress: true
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
fmt-check:
|
fmt-check:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue