diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f8c2b6bc..2d804d18 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -190,7 +190,7 @@ jobs:
     - name: Test
       if: runner.os == 'Linux'
       run: |
-        cabal test pkg:pate
+        cabal test pkg:pate --test-options="-t 1200s"
 
     - name: Docs
       run: cabal haddock pkg:pate