From 062d621dfe0bb5cc89a1b5f8da55126f233c572d Mon Sep 17 00:00:00 2001
From: Jakob Ackermann <jakob.ackermann@overleaf.com>
Date: Fri, 10 Oct 2025 16:01:21 +0200
Subject: [PATCH] [monorepo] run Jenkins cleanup in parallel (#29015)

GitOrigin-RevId: 5e0df1cec874950b91edf86a2ca40b358366a897
---
 server-ce/test/Jenkinsfile          | 2 +-
 services/contacts/Jenkinsfile       | 2 +-
 services/git-bridge/Jenkinsfile     | 2 +-
 services/web/.storybook/Jenkinsfile | 2 +-
 services/web/Jenkinsfile            | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/server-ce/test/Jenkinsfile b/server-ce/test/Jenkinsfile
index c1ce374a55..a03ca0da58 100644
--- a/server-ce/test/Jenkinsfile
+++ b/server-ce/test/Jenkinsfile
@@ -362,7 +362,7 @@ pipeline {
       dir('server-pro') {
         sh 'make clean'
       }
-      sh 'make clean_jenkins'
+      sh 'make clean_jenkins -j10'
     }
   }
 }
diff --git a/services/contacts/Jenkinsfile b/services/contacts/Jenkinsfile
index 70b9885a40..6a0aa9fd3b 100644
--- a/services/contacts/Jenkinsfile
+++ b/services/contacts/Jenkinsfile
@@ -98,7 +98,7 @@ pipeline {
       dir('services/contacts') {
         sh 'make clean'
       }
-      sh 'make clean_jenkins'
+      sh 'make clean_jenkins -j10'
     }
   }
 }
\ No newline at end of file
diff --git a/services/git-bridge/Jenkinsfile b/services/git-bridge/Jenkinsfile
index 37adc310bf..036c4ee485 100644
--- a/services/git-bridge/Jenkinsfile
+++ b/services/git-bridge/Jenkinsfile
@@ -77,7 +77,7 @@ pipeline {
       dir('services/git-bridge') {
         sh 'make clean_ci'
       }
-      sh 'make clean_jenkins'
+      sh 'make clean_jenkins -j10'
     }
   }
 }
\ No newline at end of file
diff --git a/services/web/.storybook/Jenkinsfile b/services/web/.storybook/Jenkinsfile
index d9ddfb9bd5..120bdb7b3f 100644
--- a/services/web/.storybook/Jenkinsfile
+++ b/services/web/.storybook/Jenkinsfile
@@ -50,7 +50,7 @@ pipeline {
   post {
     cleanup {
       sh 'rm -rf services/web/data/storybook/'
-      sh 'make clean_jenkins'
+      sh 'make clean_jenkins -j10'
     }
   }
 }
\ No newline at end of file
diff --git a/services/web/Jenkinsfile b/services/web/Jenkinsfile
index fbe6e1d96c..6c3947c340 100644
--- a/services/web/Jenkinsfile
+++ b/services/web/Jenkinsfile
@@ -336,7 +336,7 @@ pipeline {
       dir('services/web') {
         sh 'make clean -j10'
       }
-      sh 'make clean_jenkins'
+      sh 'make clean_jenkins -j10'
     }
   }
 }