From f37be0ec64f4f23ca2d2ec0c90844bc5df9c623c Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Thu, 9 Jul 2026 01:59:46 +0000
Subject: [PATCH] Increase Ubuntu OCaml regression timeout in CI

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 67ed3e4796..a93df06ab5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -205,7 +205,7 @@ jobs:
         run: git clone https://github.com/z3prover/z3test z3test
 
       - name: Run regressions
-        run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2
+        run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2 smt2 $(nproc) 120
 
       - name: Generate documentation
         run: |