From becc7617a6dc042768d8dacbcd5ddb51a7d79278 Mon Sep 17 00:00:00 2001
From: Stefan Benten <mail@stefan-benten.de>
Date: Thu, 2 May 2019 17:48:04 +0200
Subject: [PATCH] Add Build Timeout to Jenkinsfile (#1883)

---
 Jenkinsfile.public | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile.public b/Jenkinsfile.public
index 47f45eece..e3a890936 100644
--- a/Jenkinsfile.public
+++ b/Jenkinsfile.public
@@ -5,6 +5,9 @@ pipeline {
             args '-u root:root -v "/tmp/gomod":/go/pkg/mod'
         }
     }
+    options {
+          timeout(time: 30, unit: 'MINUTES')
+    }
     stages {
         stage('Build') {
             steps {