From f5e5db50d344c3a8cdc33c7cf879c864664e3846 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Soko=C5=82owski?= <jakub@status.im>
Date: Tue, 26 Sep 2023 10:46:31 +0200
Subject: [PATCH] ci: add cleanup step, also timeout and timestamps
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jakub Sokołowski <jakub@status.im>
---
 ci/Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 7161e3cc..9533d8d2 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -7,6 +7,8 @@ pipeline {
   }
 
   options {
+    timestamps()
+    timeout(time: 5, unit: 'MINUTES')
     disableConcurrentBuilds()
     buildDiscarder(logRotator(
       numToKeepStr: '20',
@@ -35,4 +37,8 @@ pipeline {
       }
     }
   }
+
+  post {
+    cleanup { cleanWs() }
+  }
 }