File tree Expand file tree Collapse file tree 4 files changed +2
-10
lines changed
Expand file tree Collapse file tree 4 files changed +2
-10
lines changed Original file line number Diff line number Diff line change @@ -26,20 +26,18 @@ jobs:
2626 runs-on : ubuntu-latest
2727 steps :
2828 - uses : actions/checkout@v2
29- with :
30- submodules : true
3129 - uses : ./.github/actions/fetch-codeql
3230 - uses : ./ruby/actions/create-extractor-pack
3331 - name : Run QL tests
3432 run : |
35- codeql test run --check-databases --check-unused-labels --check-repeated-labels --check-redefined-labels --check-use-before-definition --search-path "${{ github.workspace }}/ruby" --additional-packs "${{ github.workspace }}/ruby/codeql " --consistency-queries ql/consistency-queries ql/test
33+ codeql test run --check-databases --check-unused-labels --check-repeated-labels --check-redefined-labels --check-use-before-definition --search-path "${{ github.workspace }}/ruby" --additional-packs "${{ github.workspace }}" --consistency-queries ql/consistency-queries ql/test
3634 env :
3735 GITHUB_TOKEN : ${{ github.token }}
3836 - name : Check QL formatting
3937 run : find ql "(" -name "*.ql" -or -name "*.qll" ")" -print0 | xargs -0 codeql query format --check-only
4038 - name : Check QL compilation
4139 run : |
42- codeql query compile --check-only --threads=4 --warnings=error --search-path "${{ github.workspace }}/ruby" --additional-packs "${{ github.workspace }}/ruby/codeql " "ql/src" "ql/examples"
40+ codeql query compile --check-only --threads=4 --warnings=error --search-path "${{ github.workspace }}/ruby" --additional-packs "${{ github.workspace }}" "ql/src" "ql/examples"
4341 env :
4442 GITHUB_TOKEN : ${{ github.token }}
4543 - name : Check DB upgrade scripts
Original file line number Diff line number Diff line change 1515 runs-on : ubuntu-latest
1616 steps :
1717 - uses : actions/checkout@v2
18- with :
19- submodules : true
2018 - name : Check synchronized files
2119 run : python config/sync-files.py
2220
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments