From a11b4aacffc6b02d3d3246c7e53415892b0572b7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Mon, 3 Aug 2026 18:47:31 -0700
Subject: [PATCH] Increase timeout for clang-tidy workflow to 160 minutes

---
 .github/workflows/clang-tidy-warning-report.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: