From efa6dcd4c82079b9cba53298e4b30600908ccc91 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Tue, 2 Dec 2025 15:22:51 +0900 Subject: [PATCH 1/4] Cleanup disk --- .github/workflows/doc-build.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 5fa5bf30aeb..1cd425240a0 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -24,6 +24,13 @@ jobs: - name: Checkout uses: actions/checkout@v4 + - name: Maximize available disk space + uses: jlumbroso/free-disk-space@main + with: + # Remove pre-installed packages like Docker, Android, .NET, etc. + # We only keep the basic essentials (like compilers, etc.) + tool-cache: true + - name: Merge CI fixes from sagemath/sage run: | .github/workflows/merge-fixes.sh From fdc727b9ecdb271fe9ad618e7b597ad6b7c47aa5 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 3 Dec 2025 09:54:55 +0900 Subject: [PATCH 2/4] Update .github/workflows/doc-build.yml Co-authored-by: Vincent Macri --- .github/workflows/doc-build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml index 1cd425240a0..5082489a8b1 100644 --- a/.github/workflows/doc-build.yml +++ b/.github/workflows/doc-build.yml @@ -25,7 +25,7 @@ jobs: uses: actions/checkout@v4 - name: Maximize available disk space - uses: jlumbroso/free-disk-space@main + uses: jlumbroso/free-disk-space@v1.3.1 with: # Remove pre-installed packages like Docker, Android, .NET, etc. # We only keep the basic essentials (like compilers, etc.) From 5f5997ebe1339feea3d615e318c0035aba50eada Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 3 Dec 2025 13:13:54 +0900 Subject: [PATCH 3/4] Apply to other doc build workflows too --- .github/workflows/doc-build-livedoc.yml | 7 +++++++ .github/workflows/doc-build-pdf.yml | 7 +++++++ 2 files changed, 14 insertions(+) diff --git a/.github/workflows/doc-build-livedoc.yml b/.github/workflows/doc-build-livedoc.yml index 9b20b6506f9..b599e4688ed 100644 --- a/.github/workflows/doc-build-livedoc.yml +++ b/.github/workflows/doc-build-livedoc.yml @@ -22,6 +22,13 @@ jobs: - name: Checkout uses: actions/checkout@v4 + - name: Maximize available disk space + uses: jlumbroso/free-disk-space@main + with: + # Remove pre-installed packages like Docker, Android, .NET, etc. + # We only keep the basic essentials (like compilers, etc.) + tool-cache: true + - name: Cache conda packages uses: actions/cache@v4 with: diff --git a/.github/workflows/doc-build-pdf.yml b/.github/workflows/doc-build-pdf.yml index af6939158df..194f9ff656c 100644 --- a/.github/workflows/doc-build-pdf.yml +++ b/.github/workflows/doc-build-pdf.yml @@ -24,6 +24,13 @@ jobs: - name: Checkout uses: actions/checkout@v4 + - name: Maximize available disk space + uses: jlumbroso/free-disk-space@main + with: + # Remove pre-installed packages like Docker, Android, .NET, etc. + # We only keep the basic essentials (like compilers, etc.) + tool-cache: true + - name: Merge CI fixes from sagemath/sage run: | .github/workflows/merge-fixes.sh From 3a859e58b43f1d9d225e995aa27d02b9b98a40a7 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Wed, 3 Dec 2025 13:32:21 +0900 Subject: [PATCH 4/4] Pin the version --- .github/workflows/doc-build-livedoc.yml | 2 +- .github/workflows/doc-build-pdf.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/doc-build-livedoc.yml b/.github/workflows/doc-build-livedoc.yml index b599e4688ed..352fcfccc9b 100644 --- a/.github/workflows/doc-build-livedoc.yml +++ b/.github/workflows/doc-build-livedoc.yml @@ -23,7 +23,7 @@ jobs: uses: actions/checkout@v4 - name: Maximize available disk space - uses: jlumbroso/free-disk-space@main + uses: jlumbroso/free-disk-space@v1.3.1 with: # Remove pre-installed packages like Docker, Android, .NET, etc. # We only keep the basic essentials (like compilers, etc.) diff --git a/.github/workflows/doc-build-pdf.yml b/.github/workflows/doc-build-pdf.yml index 194f9ff656c..57e98147100 100644 --- a/.github/workflows/doc-build-pdf.yml +++ b/.github/workflows/doc-build-pdf.yml @@ -25,7 +25,7 @@ jobs: uses: actions/checkout@v4 - name: Maximize available disk space - uses: jlumbroso/free-disk-space@main + uses: jlumbroso/free-disk-space@v1.3.1 with: # Remove pre-installed packages like Docker, Android, .NET, etc. # We only keep the basic essentials (like compilers, etc.)