From 884203676dfaf1d03c08fc79945493458b53e675 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebasti=C3=A1n=20Ram=C3=ADrez?= <tiangolo@gmail.com>
Date: Sun, 27 Nov 2022 15:22:30 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=91=B7=20Tweak=20build-docs=20to=20improv?=
 =?UTF-8?q?e=20CI=20performance=20(#5699)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 scripts/docs.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/docs.py b/scripts/docs.py
index 622ba9202e4e1..e0953b8edb551 100644
--- a/scripts/docs.py
+++ b/scripts/docs.py
@@ -284,7 +284,9 @@ def build_all():
             continue
         langs.append(lang.name)
     cpu_count = os.cpu_count() or 1
-    with Pool(cpu_count * 2) as p:
+    process_pool_size = cpu_count * 4
+    typer.echo(f"Using process pool size: {process_pool_size}")
+    with Pool(process_pool_size) as p:
         p.map(build_lang, langs)