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() }
+  }
 }