Add timeout to Jenkinsfile

57ba0f19 · Frederic Gurr · GitHub · 639f959f · 57ba0f19
Unverified Commit 57ba0f19 authored 2 years ago by Frederic Gurr Committed by GitHub 2 years ago
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -64,6 +64,7 @@ pipeline {

  options {
    buildDiscarder(logRotator(numToKeepStr: '10'))
+    timeout(time: 15, unit: 'MINUTES')
  }

  triggers {