diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 9cd42fc1c..b19f8dbbe 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: 20
+            timeout: 30
           - name: 'Haskell Termination'
             test-args: '-k test_prove_termination'
             parallel: 6