Set Jenkins timeout to 30 minutes

Abort the Jenkins build if it takes more than 30 minutes. Signed-off-by: Michi Mutsuzaki <michi@covalent.io>
cilium · Mar 23, 2017 · a4aac42 · a4aac42
1 parent f697b0c
commit a4aac42
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -2,6 +2,9 @@ pipeline {
     agent {
         label 'vagrant'
     }
+    options {
+        timeout(time: 30, unit: 'MINUTES')
+    }
     stages {
         stage('Build') {
             environment {