Use compatible timestamp wrapper in Jenkins pipelines

2026-05-02 19:34:11 +08:00
parent a53167c872
commit 06d6f7716e
10 changed files with 20 additions and 10 deletions
--- a/jenkins/Jenkinsfile.production-database-export
+++ b/jenkins/Jenkinsfile.production-database-export
@@ -3,7 +3,8 @@ pipeline {

  options {
    disableConcurrentBuilds()
-    timestamps()
+    skipDefaultCheckout(true)
+    wrap([$class: 'TimestamperBuildWrapper'])
    buildDiscarder(logRotator(numToKeepStr: '20', artifactNumToKeepStr: '20'))
  }