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