File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -32,14 +32,14 @@ jobs:
3232 - uses : ./ruby/actions/create-extractor-pack
3333 - name : Run QL tests
3434 run : |
35- codeql test run --search-path "${{ github.workspace }}/ruby/extractor-pack" --check-databases --check-unused-labels --check-repeated-labels --check-redefined-labels --check-use-before-definition --consistency-queries ql/consistency-queries ql/test
35+ codeql test run --threads=0 --ram 5000 -- search-path "${{ github.workspace }}/ruby/extractor-pack" --check-databases --check-unused-labels --check-repeated-labels --check-redefined-labels --check-use-before-definition --consistency-queries ql/consistency-queries ql/test
3636 env :
3737 GITHUB_TOKEN : ${{ github.token }}
3838 - name : Check QL formatting
3939 run : find ql "(" -name "*.ql" -or -name "*.qll" ")" -print0 | xargs -0 codeql query format --check-only
4040 - name : Check QL compilation
4141 run : |
42- codeql query compile --check-only --threads=4 --warnings=error "ql/src" "ql/examples"
42+ codeql query compile --check-only --threads=0 --ram 5000 --warnings=error "ql/src" "ql/examples"
4343 env :
4444 GITHUB_TOKEN : ${{ github.token }}
4545 - name : Check DB upgrade scripts
You can’t perform that action at this time.
0 commit comments