Reduce timeout

schuessf · schuessf · commit 491342280c4a · 2023-01-17T17:44:35.000+01:00
diff --git a/Jenkinsfile.nightly b/Jenkinsfile.nightly
@@ -51,7 +51,7 @@ pipeline {
   }
   options {
     skipDefaultCheckout()
-    timeout(time: 12, unit: 'HOURS')
+    timeout(time: 8, unit: 'HOURS')
     timestamps()
   }
   environment {
