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

This commit is contained in:
Sebastián Ramírez 2022-11-27 15:22:30 +01:00 committed by GitHub
parent 9b4e85f088
commit 884203676d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -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)