Merge branch 'master' into chore/refactor-ban

Chatterino · Nov 4, 2023 · d634c4e · d634c4e
2 parents 2817b7b + 9eea2f8
commit d634c4e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.clang-tidy b/.clang-tidy
@@ -63,3 +63,6 @@ CheckOptions:
   # Lua state
   - key: readability-identifier-naming.LocalPointerIgnoredRegexp
     value: ^L$
+
+  - key: misc-const-correctness.AnalyzeValues
+    value: false
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -331,6 +331,7 @@ jobs:
 
       - name: clang-tidy review
         if: matrix.clang-tidy-review && github.event_name == 'pull_request'
+        timeout-minutes: 10
         uses: ZedThree/[email protected]
         with:
           build_dir: build-clang-tidy