increase ci timeout

kth-step · Nov 19, 2024 · c946031 · c946031
1 parent aeb4a53
commit c946031
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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