From c94603132d3a33fd8a96f5d6db94bb8fd0cf912c Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Tue, 19 Nov 2024 17:42:20 +0100
Subject: [PATCH] increase ci timeout

---
 .github/workflows/build.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 3077c7533..d18e9eb08 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -55,7 +55,7 @@ jobs:
           ./scripts/setup/install_z3.sh
 
       - name: Configure and compile
-        timeout-minutes: 35
+        timeout-minutes: 45
         run: |
           ./configure.sh
           ./scripts/ci/run_holmake.sh