From cd993f0b96fb265ad3aeb85a9426bf19cce5c888 Mon Sep 17 00:00:00 2001 From: Max Hilbrunner Date: Mon, 6 Jan 2025 10:55:46 +0100 Subject: [PATCH] CI: Improve Sphinx performance, use multiple cores According to https://docs.github.com/en/actions/using-github-hosted-runners/using-github-hosted-runners/about-github-hosted-runners, these runners are expected to have 4 CPUs available --- .github/workflows/build_offline_docs.yml | 4 ++-- .github/workflows/ci.yml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build_offline_docs.yml b/.github/workflows/build_offline_docs.yml index f35bbc078..6a54cadc7 100644 --- a/.github/workflows/build_offline_docs.yml +++ b/.github/workflows/build_offline_docs.yml @@ -32,7 +32,7 @@ jobs: sudo apt install parallel libwebp7 - name: Sphinx - Build HTML - run: make SPHINXOPTS='--color' html + run: make SPHINXOPTS='--color -j 4' html - uses: actions/upload-artifact@v4 with: @@ -54,7 +54,7 @@ jobs: sed -i 's/"godot_is_latest": True/"godot_is_latest": False/' conf.py sed -i 's/"godot_show_article_status": True/"godot_show_article_status": False/' conf.py - make SPHINXOPTS='--color' epub + make SPHINXOPTS='--color -j 4' epub - uses: actions/upload-artifact@v4 with: diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 90d09e5a7..8b1365ccd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -23,4 +23,4 @@ jobs: # Use dummy builder to improve performance as we don't need the generated HTML in this workflow. - name: Sphinx build - run: make SPHINXOPTS='--color -W' dummy + run: make SPHINXOPTS='--color -j 4 -W' dummy