From 04d451dad48b94b93855889c2b5e216d51e58b36 Mon Sep 17 00:00:00 2001 From: mariaKt Date: Wed, 8 Apr 2026 10:49:18 -0500 Subject: [PATCH 1/2] Increase timeouts in CI --- .github/workflows/test.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 4e7f79076..bde6058f4 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: 30 + timeout: 60 - name: 'Haskell Exec SMIR' test-args: '-k "test_exec_smir and haskell"' parallel: 6 @@ -69,7 +69,7 @@ jobs: - name: 'Haskell Termination' test-args: '-k test_prove_termination' parallel: 6 - timeout: 20 + timeout: 40 - name: 'Haskell Proofs' test-args: '-k "test_prove and not test_prove_termination"' parallel: 6 @@ -77,7 +77,7 @@ jobs: - 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 - timeout: 20 + timeout: 40 steps: - name: 'Check out code' uses: actions/checkout@v4 From ec160766583c8fb73054479f4e926096c6201ebb Mon Sep 17 00:00:00 2001 From: mariaKt Date: Wed, 8 Apr 2026 11:06:27 -0500 Subject: [PATCH 2/2] Further increase. --- .github/workflows/test.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index bde6058f4..f9b07909d 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -69,15 +69,15 @@ jobs: - name: 'Haskell Termination' test-args: '-k test_prove_termination' parallel: 6 - timeout: 40 + timeout: 60 - name: 'Haskell Proofs' test-args: '-k "test_prove and not test_prove_termination"' parallel: 6 - timeout: 120 + timeout: 150 - 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 - timeout: 40 + timeout: 60 steps: - name: 'Check out code' uses: actions/checkout@v4