From 5c76e90a83f97d0b1d0dc130f23decb92e0526a3 Mon Sep 17 00:00:00 2001
From: Carlos Tadeu Panato Junior <ctadeu@gmail.com>
Date: Mon, 28 Jan 2019 14:51:25 +0100
Subject: [PATCH] Add timeout for jenkins pipeline (#10180)

* Add timeout for jenkins pipeline

* setting timeout to 1 hour
---
 build/Jenkinsfile.pr | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/build/Jenkinsfile.pr b/build/Jenkinsfile.pr
index 2dc64e540c..2da3944e97 100644
--- a/build/Jenkinsfile.pr
+++ b/build/Jenkinsfile.pr
@@ -11,7 +11,10 @@ pipeline {
         label 'default-mm-builder'
     }
 
-    options { buildDiscarder(logRotator(numToKeepStr: '3')) }
+    options {
+        buildDiscarder(logRotator(numToKeepStr: '3'))
+        timeout(time: 1, unit: 'HOURS')
+    }
 
     environment {
         COMPOSE_PROJECT_NAME="${rnd}-${env.BUILD_NUMBER}"