mirror of
https://github.com/github/codeql.git
synced 2026-04-26 01:05:15 +02:00
Workaround for compilation failure
This commit is contained in:
committed by
Dave Bartolomeo
parent
817f8747de
commit
0afcb9cc86
2
.github/workflows/qltest.yml
vendored
2
.github/workflows/qltest.yml
vendored
@@ -33,7 +33,7 @@ jobs:
|
||||
- name: Run QL tests
|
||||
run: |
|
||||
codeql/codeql pack install ql/test
|
||||
codeql/codeql test run --check-databases --check-unused-labels --check-repeated-labels --check-redefined-labels --check-use-before-definition --search-path "${{ github.workspace }}" --consistency-queries ql/consistency-queries ql/test
|
||||
codeql/codeql test run --check-databases --check-unused-labels --check-repeated-labels --check-redefined-labels --check-use-before-definition --search-path "${{ github.workspace }}" --additional-packs "${HOME}/.codeql/packages/codeql/suite-helpers/0.0.1" --consistency-queries ql/consistency-queries ql/test
|
||||
- name: Check QL formatting
|
||||
run: find ql "(" -name "*.ql" -or -name "*.qll" ")" -print0 | xargs -0 codeql/codeql query format --check-only
|
||||
- name: Check QL compilation
|
||||
|
||||
Reference in New Issue
Block a user