From 60800519ae6ffc67e1a7011d0a71a868b17984e7 Mon Sep 17 00:00:00 2001
From: Ben Soares <b.soares@dundee.ac.uk>
Date: Tue, 14 May 2024 17:38:54 +0100
Subject: [PATCH] JAL-4217 Upped the main testTask0 timeout to 15 minutes for
 build server's benefit

---
 build.gradle |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index f56b91d..6df3ec9 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1769,7 +1769,7 @@ task testTask0(type: Test) {
     preserveOrder true
     useDefaultListeners=true
   }
-  timeout = Duration.ofMinutes(10)
+  timeout = Duration.ofMinutes(15)
 }
 
 /* separated tests */
-- 
1.7.10.2