From 5a54026bcc0f1bdf818c47888f75f5cf5f097b41 Mon Sep 17 00:00:00 2001 From: Nick Rolfe Date: Fri, 18 Dec 2020 17:25:28 +0000 Subject: [PATCH] Add all the TRAP check flags in qltest workflow --- .github/workflows/qltest.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/qltest.yml b/.github/workflows/qltest.yml index a099f650c39..eac94f908b6 100644 --- a/.github/workflows/qltest.yml +++ b/.github/workflows/qltest.yml @@ -31,7 +31,7 @@ jobs: - name: Build Extractor run: env "PATH=$PATH:${{ github.workspace }}/codeql" ./create-extractor-pack.sh - name: Run QL tests - run: codeql/codeql test run --check-databases --check-unused-labels --search-path "${{ github.workspace }}" --consistency-queries ql/consistency-queries ql/test + run: 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 - 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