From 0213177027a4b3996bc3208894284a3d5201490e Mon Sep 17 00:00:00 2001
From: Rob Bradford <robert.bradford@intel.com>
Date: Fri, 22 Nov 2019 13:51:13 +0000
Subject: [PATCH] Jenkinsfile: Add timeout for build

In order to conserve CI resources limit build execution to one hour.

Signed-off-by: Rob Bradford <robert.bradford@intel.com>
---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index b1b646477..b837f9865 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline{
 	agent { node { label 'bionic' } }
+	options {
+		timeout(time: 1, unit: 'HOURS')
+	}
 	stages {
 		stage ('Checkout') {
 			steps {