Merge pull request #1872 from GaloisInc/bump-s2n-time-limit

mergify[bot] · web-flow · commit 1e2e36c877af · 2023-05-19T14:38:15.000Z
Bump `s2nTests` time limit slightly
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -540,7 +540,7 @@ jobs:
 
   s2n-tests:
     name: "Test s2n proofs"
-    timeout-minutes: 120
+    timeout-minutes: 150
     needs: build
     runs-on: ubuntu-22.04
     strategy:
