From 2f23d7fb3f993f70c6dae42d4b6d5de2d79113f8 Mon Sep 17 00:00:00 2001
From: Frederic Gurr <frederic.gurr@eclipse-foundation.org>
Date: Fri, 18 Mar 2022 20:50:56 +0000
Subject: [PATCH] Add timeout

---
 utils/ci/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/ci/Jenkinsfile b/utils/ci/Jenkinsfile
index e772ff73..73843c2e 100644
--- 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') {
-- 
GitLab