diff --git a/Jenkinsfile b/Jenkinsfile index 35883c08b..5f3b97b7c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,6 +4,9 @@ def emailDevOps(targetMail, msg) { } pipeline { agent {label "slave"} + options { + timestamps() + } stages { stage("build") { steps {