diff --git a/.github/workflows/clang-tidy-warning-report.yml b/.github/workflows/clang-tidy-warning-report.yml index 76390e05ff..8be32eac68 100644 --- a/.github/workflows/clang-tidy-warning-report.yml +++ b/.github/workflows/clang-tidy-warning-report.yml @@ -12,7 +12,7 @@ jobs: build: name: Build Z3 with clang-tidy warnings runs-on: ubuntu-latest - timeout-minutes: 90 + timeout-minutes: 160 env: DETLEFS_WARNING_FLAGS: -Wgnu-anonymous-struct steps: