diff --git a/Jenkinsfile b/Jenkinsfile
index 5d8a652c17..145e7f2691 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -12,8 +12,6 @@ node() { // No specific label
   properties([
     // Keep only the last 10 build to preserve space
     buildDiscarder(logRotator(numToKeepStr: '10')),
-    // Don't run concurrent builds for a branch, because they use the same workspace directory
-    disableConcurrentBuilds()
   ])
 
   catchError {