Merge pull request #3079 from wzshiming/ci/cancel
ci: Cancel when there is a new change
This commit is contained in:
commit
eb569ff9b6
|
@ -4,6 +4,10 @@ on:
|
||||||
# Run workflow on fork repository will help contributors find and resolve issues before sending a PR.
|
# Run workflow on fork repository will help contributors find and resolve issues before sending a PR.
|
||||||
push:
|
push:
|
||||||
pull_request:
|
pull_request:
|
||||||
|
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
|
||||||
|
concurrency:
|
||||||
|
group: ${{ github.workflow }}-${{ github.actor }}-${{ github.head_ref || github.run_id }}
|
||||||
|
cancel-in-progress: true
|
||||||
jobs:
|
jobs:
|
||||||
golangci:
|
golangci:
|
||||||
name: lint
|
name: lint
|
||||||
|
|
Loading…
Reference in New Issue