From 71b9f1d64d974ac7bb6185d36aea12b69ba71220 Mon Sep 17 00:00:00 2001
From: Robert Konicar <robert.konicar@trailofbits.com>
Date: Mon, 22 Apr 2024 19:53:41 +0200
Subject: [PATCH] gh: Bump sv-comp test suite time limit.

---
 .github/workflows/prerelease.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml
index f1b60b61f4..977d24fc1b 100644
--- 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