contrib/ci.inria.fr: remove buildDiscarder option

bgoglin · bgoglin · commit d6915caf7c83 · 2025-04-17T09:35:59.000+02:00
It's defined on the server, system-wide now.

Signed-off-by: Brice Goglin &lt;Brice.Goglin@inria.fr&gt;
diff --git a/contrib/ci.inria.fr/Jenkinsfile b/contrib/ci.inria.fr/Jenkinsfile
@@ -51,10 +51,6 @@ pipeline {
 		pollSCM(isExtendedJob ? '0 3 * * *' : '')
 	}
 
-	options {
-		buildDiscarder(logRotator(numToKeepStr: '25', daysToKeepStr: '50'))
-	}
-
         stages {
 		stage('Tarball') {
 			steps {
