From 078f4a879ce2b908776bdac9fee339777d84b389 Mon Sep 17 00:00:00 2001
From: jakubgs <jakubgs@users.noreply.github.com>
Date: Wed, 8 Jun 2022 14:02:01 +0000
Subject: [PATCH] deploy: 48e3c38f2a6cf08168bd0448911807c75f929e49

---
 ci/Jenkinsfile.prs     | 4 +++-
 ci/Jenkinsfile.release | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile.prs b/ci/Jenkinsfile.prs
index 78735fa0b..41fa2dd13 100644
--- a/ci/Jenkinsfile.prs
+++ b/ci/Jenkinsfile.prs
@@ -28,7 +28,9 @@ pipeline {
 
   options {
     timestamps()
-    /* manage how many builds we keep */
+    /* Prevent Jenkins jobs from running forever */
+    timeout(time: 30, unit: 'MINUTES')
+    /* Limit builds retained. */
     buildDiscarder(logRotator(
       numToKeepStr: '3',
       daysToKeepStr: '30',
diff --git a/ci/Jenkinsfile.release b/ci/Jenkinsfile.release
index 87fe67d0e..d2dd256b1 100644
--- a/ci/Jenkinsfile.release
+++ b/ci/Jenkinsfile.release
@@ -3,6 +3,8 @@ pipeline {
 
   options {
     timestamps()
+    /* Prevent Jenkins jobs from running forever */
+    timeout(time: 20, unit: 'MINUTES')
     /* manage how many builds we keep */
     buildDiscarder(logRotator(
       numToKeepStr: '10',