From eddfd0244f53a82294802f85721baa2f62a04092 Mon Sep 17 00:00:00 2001 From: mariaKt Date: Tue, 7 Apr 2026 16:45:19 -0500 Subject: [PATCH 1/2] Another increase of timeout for Haskell Exec SMIR CI test --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index b19f8dbbe..3c0c5c9ef 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -65,7 +65,7 @@ jobs: - name: 'Haskell Exec SMIR' test-args: '-k "test_exec_smir and haskell"' parallel: 6 - timeout: 30 + timeout: 50 - name: 'Haskell Termination' test-args: '-k test_prove_termination' parallel: 6 From cac654ce121af63a19b5bd750da58243f7db8b98 Mon Sep 17 00:00:00 2001 From: mariaKt Date: Tue, 7 Apr 2026 17:06:41 -0500 Subject: [PATCH 2/2] Increased timeout to 60 min instead. --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 3c0c5c9ef..4e7f79076 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -65,7 +65,7 @@ jobs: - name: 'Haskell Exec SMIR' test-args: '-k "test_exec_smir and haskell"' parallel: 6 - timeout: 50 + timeout: 60 - name: 'Haskell Termination' test-args: '-k test_prove_termination' parallel: 6