From 59f4a838bfe9237ffe42959a79bf2666ab9df9c1 Mon Sep 17 00:00:00 2001
From: Adrian Clay <adrian@madetech.com>
Date: Fri, 20 Oct 2023 10:54:48 +0100
Subject: [PATCH] Add timeout to Jenkins builds

If a build takes longer than an hour, then somethings gone wrong
and it's better to fail the build instead of pretending everything
is fine.
---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6959bdf4d..6530e8727 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -13,6 +13,7 @@ pipeline {
     options {
         timestamps()
         buildDiscarder(logRotator(numToKeepStr: "10"))
+        timeout(time: 1, unit: 'HOURS')
     }
 
     environment {