Revert "bump dss timeout"

This reverts commit 38b5866.
runtimeverification · Dec 5, 2024 · 04398ec · 04398ec
1 parent 38b5866
commit 04398ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -106,7 +106,7 @@ jobs:
           - name: 'DSS'
             test-suite: 'test-prove-dss'
             test-args:
-            timeout: 55
+            timeout: 45
             parallel: 1
     timeout-minutes: ${{ matrix.timeout }}
     steps: