File tree Expand file tree Collapse file tree 6 files changed +58
-611
lines changed
Expand file tree Collapse file tree 6 files changed +58
-611
lines changed Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -12,3 +12,4 @@ titleAndCommits: false
1212anyCommit : false
1313allowMergeCommits : false
1414allowRevertCommits : false
15+ targetUrl : https://docs.lizardbyte.dev/latest/developers/contributing.html#creating-a-pull-request
Original file line number Diff line number Diff line change 1+ ---
2+ # This workflow is centrally managed in https://github.com/LizardByte/.github/
3+ # Don't make changes to this file in this repo as they will be overwritten with changes made to the same file in
4+ # the above-mentioned repo.
5+
6+ name : CodeQL
7+ permissions :
8+ actions : read
9+ contents : read
10+ security-events : write
11+
12+ on :
13+ push :
14+ branches :
15+ - master
16+ pull_request :
17+ branches :
18+ - master
19+ schedule :
20+ - cron : ' 00 12 * * 0' # every Sunday at 12:00 UTC
21+
22+ concurrency :
23+ group : " ${{ github.workflow }}-${{ github.ref }}"
24+ cancel-in-progress : true
25+
26+ jobs :
27+ call-codeql :
28+ name : CodeQL
29+ uses : LizardByte/.github/.github/workflows/__call-codeql.yml@master
30+ if : ${{ github.repository != 'LizardByte/.github' }}
Original file line number Diff line number Diff line change 1+ ---
2+ # This workflow is centrally managed in https://github.com/LizardByte/.github/
3+ # Don't make changes to this file in this repo as they will be overwritten with changes made to the same file in
4+ # the above-mentioned repo.
5+
6+ name : common lint
7+ permissions :
8+ contents : read
9+
10+ on :
11+ pull_request :
12+ branches :
13+ - master
14+ types :
15+ - opened
16+ - synchronize
17+ - reopened
18+
19+ concurrency :
20+ group : " ${{ github.workflow }}-${{ github.ref }}"
21+ cancel-in-progress : true
22+
23+ jobs :
24+ lint :
25+ name : Common Lint
26+ uses : LizardByte/.github/.github/workflows/__call-common-lint.yml@master
27+ if : ${{ github.repository != 'LizardByte/.github' }}
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments