From d50ef585651cc19094b0ca6dc65afb59ec3ff11d Mon Sep 17 00:00:00 2001 From: Stevengre Date: Tue, 31 Mar 2026 14:48:26 +0000 Subject: [PATCH] ci: increase integration test timeouts for runner stability MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Haskell Proofs hit the 60-minute timeout at ~63% completion in PR #1007, and LLVM Concrete Tests barely exceeded 20 minutes. Increase timeouts to absorb runner variability without masking real regressions. - LLVM Concrete Tests: 20 → 30 minutes - Haskell Proofs: 60 → 120 minutes Co-Authored-By: Claude Opus 4.6 (1M context) --- .github/workflows/test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 21b77fdab..9cd42fc1c 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -61,7 +61,7 @@ jobs: - name: 'LLVM Concrete Tests' test-args: '-k "llvm or test_run_smir_random"' parallel: 12 - timeout: 20 + timeout: 30 - name: 'Haskell Exec SMIR' test-args: '-k "test_exec_smir and haskell"' parallel: 6 @@ -73,7 +73,7 @@ jobs: - name: 'Haskell Proofs' test-args: '-k "test_prove and not test_prove_termination"' parallel: 6 - timeout: 60 + timeout: 120 - name: 'Remainder' test-args: '-k "not llvm and not test_run_smir_random and not test_exec_smir and not test_prove_termination and not test_prove"' parallel: 6