File tree Expand file tree Collapse file tree 4 files changed +24
-0
lines changed
Expand file tree Collapse file tree 4 files changed +24
-0
lines changed Original file line number Diff line number Diff line change 11name : Docs
22
3+ # If a pull-request is pushed then cancel all previously running jobs related
4+ # to that pull-request
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
7+ cancel-in-progress : true
8+
39on :
410 push :
511 branches :
Original file line number Diff line number Diff line change 11name : Lint
22
3+ # If a pull-request is pushed then cancel all previously running jobs related
4+ # to that pull-request
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
7+ cancel-in-progress : true
8+
39on :
410 push :
511 branches :
Original file line number Diff line number Diff line change 11name : pre_commit
22
3+ # If a pull-request is pushed then cancel all previously running jobs related
4+ # to that pull-request
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
7+ cancel-in-progress : true
8+
39on :
410 push :
511 branches :
Original file line number Diff line number Diff line change 11name : Test
22
3+ # If a pull-request is pushed then cancel all previously running jobs related
4+ # to that pull-request
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}
7+ cancel-in-progress : true
8+
39on :
410 push :
511 branches :
You can’t perform that action at this time.
0 commit comments