From 0cf5db08c14393ae5893c772f20bc2edebfba103 Mon Sep 17 00:00:00 2001
From: Pascal Bauer <pascal.bauer@rwth-aachen.de>
Date: Mon, 24 Feb 2025 17:20:53 +0100
Subject: [PATCH] fix #832: Set CI timeout to 15 min

Signed-off-by: Pascal Bauer <pascal.bauer@rwth-aachen.de>
---
 tools/integration-tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/integration-tests.sh b/tools/integration-tests.sh
index d42925ae8..e162f76c7 100755
--- a/tools/integration-tests.sh
+++ b/tools/integration-tests.sh
@@ -22,7 +22,7 @@ VERBOSE=${VERBOSE:-0}
 FAIL_FAST=${FAIL_FAST:-0}
 FILTER=${FILTER:-'*'}
 NUM_SAMPLES=${NUM_SAMPLES:-100}
-TIMEOUT=${TIMEOUT:-1m}
+TIMEOUT=${TIMEOUT:-15m}
 
 # Parse command line arguments
 while getopts ":f:l:t:vg" OPT; do