From c1ec61077184eea18ec351246c068dce8ae7378e Mon Sep 17 00:00:00 2001
From: Brad Stein <Brad.Stein@gmail.com>
Date: Fri, 10 Apr 2026 17:12:17 -0300
Subject: [PATCH] ci: remove unsupported timestamps option in jenkinsfile

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 29a9b92..029fcde 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,6 @@ pipeline {
   agent any
 
   options {
-    timestamps()
     disableConcurrentBuilds()
   }