diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 4e7f79076..f9b07909d 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,15 +69,15 @@ jobs:
           - name: 'Haskell Termination'
             test-args: '-k test_prove_termination'
             parallel: 6
-            timeout: 20
+            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: 20
+            timeout: 60
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4