From 6855f2c74acfd2f0be09a4c4c696cbe2da1001c2 Mon Sep 17 00:00:00 2001
From: Damien Duportal <damien.duportal@gmail.com>
Date: Wed, 5 Jul 2023 16:18:44 +0200
Subject: [PATCH] chore(Jenkinsfile) discard old builds (5/PR and 10 on primary
 branch) (#1273)

---
 Jenkinsfile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1ae09bcd65..f5d4f7eb3b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,11 +1,14 @@
 // For ci.jenkins.io
 // https://github.com/jenkins-infra/documentation/blob/master/ci.adoc
 
-properties([disableConcurrentBuilds(abortPrevious: true)])
+properties([
+  disableConcurrentBuilds(abortPrevious: true),
+  buildDiscarder(logRotator(numToKeepStr: '5')),
+])
 
 if (env.BRANCH_IS_PRIMARY) {
   properties([
-          buildDiscarder(logRotator(numToKeepStr: '50')),
+          buildDiscarder(logRotator(numToKeepStr: '10')),
           pipelineTriggers([cron('0 18 * * 2')]),
           disableConcurrentBuilds(abortPrevious: true),
   ])