increase timeout

runtimeverification · Aug 4, 2023 · 9e0eebd · 9e0eebd
1 parent 14fb734
commit 9e0eebd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
@@ -10,7 +10,7 @@ jobs:
   simple-tests:
     runs-on: [self-hosted, linux, normal]
     name: 'Simple Tests'
-    timeout-minutes: 30
+    timeout-minutes: 40
     steps:
       - name: Checkout
         uses: actions/checkout@v3
@@ -113,7 +113,7 @@ jobs:
     runs-on: [self-hosted, linux, normal]
     name: 'Custom Contract Tests'
     needs: [feature-tests]
-    timeout-minutes: 30
+    timeout-minutes: 60
     steps:
       - name: Checkout
         uses: actions/checkout@v3