gh: Bump sv-comp test suite time limit.

trailofbits · Apr 22, 2024 · 8b5548c · 8b5548c
1 parent 554b30f
commit 8b5548c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml
@@ -198,7 +198,7 @@ jobs:
         vast-target: ['hl', 'llvm']
 
     runs-on: ubuntu-${{ matrix.image-version }}
-    timeout-minutes: 360
+    timeout-minutes: 720
     container:
       image:
         ghcr.io/trailofbits/vast-ubuntu-${{ matrix.image-version }}-llvm-${{ matrix.llvm-version }}-dev:latest