From b6b6bf82bd76ca0426b03ecfc536828a0087712a Mon Sep 17 00:00:00 2001
From: Jakob Ackermann <jakob.ackermann@overleaf.com>
Date: Wed, 13 Aug 2025 17:30:09 +0200
Subject: [PATCH] [monorepo] try harder at timing out Jenkins builds (#27897)

GitOrigin-RevId: 9d9b675d4603da761b725ab0470ecc7af4141ef0
---
 server-ce/test/Jenkinsfile | 1 +
 services/web/Jenkinsfile   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/server-ce/test/Jenkinsfile b/server-ce/test/Jenkinsfile
index 78ba08b10d..f246f6b75e 100644
--- a/server-ce/test/Jenkinsfile
+++ b/server-ce/test/Jenkinsfile
@@ -16,6 +16,7 @@ pipeline {
   options {
     timestamps()
     parallelsAlwaysFailFast()
+    timeout(time: 15, unit: 'MINUTES')
   }
 
   environment {
diff --git a/services/web/Jenkinsfile b/services/web/Jenkinsfile
index a921f3b19c..cd500e360d 100644
--- a/services/web/Jenkinsfile
+++ b/services/web/Jenkinsfile
@@ -21,6 +21,7 @@ pipeline {
   options {
     timestamps()
     parallelsAlwaysFailFast()
+    timeout(time: 15, unit: 'MINUTES')
   }
 
   environment {