Add timeout

2f23d7fb · Frederic Gurr · a3a7347c · 2f23d7fb
Commit 2f23d7fb authored Mar 18, 2022 by Frederic Gurr 🏝
--- a/utils/ci/Jenkinsfile
+++ b/utils/ci/Jenkinsfile
@@ -12,6 +12,7 @@ pipeline {
  agent none
  options {
    checkoutToSubdirectory('repo')
+    timeout(time: 5, unit: 'HOURS')
  }
  stages {
    stage('Linux and Windows build') {