👷 Tweak build-docs to improve CI performance (#5699)

diff --git a/scripts/docs.py b/scripts/docs.py
index 622ba9202e4e155e7ef23290841b4067fbd0caf9..e0953b8edb551dfcaed24ccf61b19033d6ba231c 100644 (file)
--- 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)