summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2024-06-08 14:37:29 -0400
committerTavian Barnes <tavianator@tavianator.com>2024-06-08 14:37:29 -0400
commit30f4d71b637d30751a6eb00bafdb423ce69f9850 (patch)
tree649eb8599b1cc62c09f94ac3ba54b812a8546429
parent8c130ca0117fd225c24569be2ec16c7dc2150a13 (diff)
downloadbfs-30f4d71b637d30751a6eb00bafdb423ce69f9850.tar.xz
ci/codeql: Allow #include "gen/foo.i"
-rw-r--r--.github/codeql.yml2
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