From 57ba0f19e2641c25d0ede1c43ba0402ee73a8fb4 Mon Sep 17 00:00:00 2001
From: Fred G <frederic.gurr@eclipse-foundation.org>
Date: Mon, 25 Apr 2022 10:59:50 +0200
Subject: [PATCH] Add timeout to Jenkinsfile
---
Jenkinsfile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Jenkinsfile b/Jenkinsfile
index c36c70c..eefba71 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -64,6 +64,7 @@ pipeline {
options {
buildDiscarder(logRotator(numToKeepStr: '10'))
+ timeout(time: 15, unit: 'MINUTES')
}
triggers {
--
GitLab