diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/codeql.yml | 2 | ||||
-rwxr-xr-x | .github/diag.sh | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/.github/codeql.yml b/.github/codeql.yml index 6ff8337..b61c30e 100644 --- a/.github/codeql.yml +++ b/.github/codeql.yml @@ -2,6 +2,8 @@ query-filters: - exclude: id: cpp/commented-out-code - exclude: + id: cpp/include-non-header + - exclude: id: cpp/long-switch - exclude: id: cpp/loop-variable-changed diff --git a/.github/diag.sh b/.github/diag.sh index 942487a..9388309 100755 --- a/.github/diag.sh +++ b/.github/diag.sh @@ -13,4 +13,4 @@ filter() { \1/' } -"$@" 2> >(filter >&2) | filter +"$@" > >(filter) 2> >(filter >&2) |