diff options
| author | Tavian Barnes <tavianator@tavianator.com> | 2024-06-08 14:37:29 -0400 |
|---|---|---|
| committer | Tavian Barnes <tavianator@tavianator.com> | 2024-06-08 14:37:29 -0400 |
| commit | 30f4d71b637d30751a6eb00bafdb423ce69f9850 (patch) | |
| tree | 649eb8599b1cc62c09f94ac3ba54b812a8546429 /.github | |
| parent | 8c130ca0117fd225c24569be2ec16c7dc2150a13 (diff) | |
| download | bfs-30f4d71b637d30751a6eb00bafdb423ce69f9850.tar.xz | |
ci/codeql: Allow #include "gen/foo.i"
Diffstat (limited to '.github')
| -rw-r--r-- | .github/codeql.yml | 2 |
1 files changed, 2 insertions, 0 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 |