File tree Expand file tree Collapse file tree 3 files changed +12
-0
lines changed
Expand file tree Collapse file tree 3 files changed +12
-0
lines changed Original file line number Diff line number Diff line change 77 - cron : ' 0 12 * * *'
88 workflow_dispatch :
99
10+ concurrency :
11+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
12+ cancel-in-progress : true
13+
1014jobs :
1115 ubuntu-gcc-build :
1216 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change @@ -2,6 +2,10 @@ name: Static analysis
22
33on : [pull_request]
44
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
7+ cancel-in-progress : true
8+
59jobs :
610 clang-tidy :
711 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change @@ -2,6 +2,10 @@ name: Static analysis
22
33on : [push, pull_request]
44
5+ concurrency :
6+ group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
7+ cancel-in-progress : true
8+
59jobs :
610 clang-format :
711 runs-on : ubuntu-latest
You can’t perform that action at this time.
0 commit comments