Merge pull request #1599 from GaloisInc/ci/raise-s2n-timeout

[CI] Raise sn2-tests timeout to 2h
GaloisInc · Mar 11, 2022 · 0aa86e9 · 0aa86e9
2 parents 362bb51 + fb6a5be
commit 0aa86e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -498,7 +498,7 @@ jobs:
 
   s2n-tests:
     name: "Test s2n proofs"
-    timeout-minutes: 60
+    timeout-minutes: 120
     needs: build
     runs-on: ubuntu-18.04
     strategy: