increase CI prep time

kth-step · Feb 3, 2025 · 0d3b662 · 0d3b662
1 parent 398ad78
commit 0d3b662
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -49,7 +49,7 @@ jobs:
           ./scripts/ci/static-analysis.sh || echo "Static-analysis failed with status $?."
 
       - name: Prepare cached dependencies
-        timeout-minutes: 35
+        timeout-minutes: 45
         run: |
           ./scripts/setup/install_base.sh
           ./scripts/setup/install_z3.sh