fix CI

diff --git a/src/.clang-tidy b/src/.clang-tidy
index c8b9b93b0d3dcbf0d2d7cb22d5b1f33d85270aac..6772ddbcaa051a0b24dcd669b7062ff9a5c304a4 100644 (file)
--- a/src/.clang-tidy
+++ b/src/.clang-tidy
@@ -9,6 +9,7 @@ Checks: >
     google-runtime-int,
     fuchsia-restrict-system-includes,
     -misc-unused-parameters,
+    -misc-include-cleaner,
     -llvm-header-guard,
     -clang-analyzer-valist.Uninitialized,
     -clang-analyzer-security.insecureAPI.DeprecatedOrUnsafeBufferHandling,
@@ -24,6 +25,7 @@ Checks: >
     -bugprone-easily-swappable-parameters,
     -bugprone-narrowing-conversions,
     -bugprone-reserved-identifier,
+    -bugprone-switch-missing-default-case,
 
 WarningsAsErrors: '*'
 HeaderFilterRegex: '.*(?<!lookup3.c)$'