Add timeout

Please add a timeout to all projects and all branches.

Add timeout
Please add a timeout to all projects and all branches.
d0d799ff · Frederic Gurr · GitHub · a838d3f3 · d0d799ff
Unverified Commit d0d799ff authored 3 years ago by Frederic Gurr Committed by GitHub 3 years ago
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -72,6 +72,7 @@ pipeline {

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

  triggers {