chore: Add a 10m timeout to the clang-tidy CI job (#4939)

This commit is contained in:
pajlada 2023-11-04 14:36:01 +01:00 committed by GitHub
parent f8b239899a
commit 9eea2f8c0a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View file

@ -63,3 +63,6 @@ CheckOptions:
# Lua state
- key: readability-identifier-naming.LocalPointerIgnoredRegexp
value: ^L$
- key: misc-const-correctness.AnalyzeValues
value: false

View file

@ -331,6 +331,7 @@ jobs:
- name: clang-tidy review
if: matrix.clang-tidy-review && github.event_name == 'pull_request'
timeout-minutes: 10
uses: ZedThree/clang-tidy-review@v0.14.0
with:
build_dir: build-clang-tidy