From ff987383b26701c03472382f82438b183d246d6b Mon Sep 17 00:00:00 2001
From: sveitser <sveitser@gmail.com>
Date: Wed, 28 Aug 2024 16:01:20 +0200
Subject: [PATCH] CI: more disk space on public runner

---
 .github/workflows/espresso-docker.yml | 22 +++++++++++++++-------
 1 file changed, 15 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/espresso-docker.yml b/.github/workflows/espresso-docker.yml
index 8e872dbe51..e099d75449 100644
--- a/.github/workflows/espresso-docker.yml
+++ b/.github/workflows/espresso-docker.yml
@@ -43,14 +43,22 @@ jobs:
     runs-on: ${{ matrix.runs-on }}
 
     steps:
-      # TODO We should be able to remove this but currently it's needed to avoid
-      # permission errors during checkout.
-      - name: Fix submodule permissions check
+      # Make more disk space available on public runner
+      - name: Maximize build space
+        uses: easimon/maximize-build-space@master
+        if: matrix.runs-on == ubuntu-latest
+        with:
+          root-reserve-mb: 512
+          swap-size-mb: 1024
+          remove-dotnet: 'true'
+          remove-android: 'true'
+          remove-haskell: 'true'
+
+      - name: Check free space
         run: |
-          sudo chown -R runner:runner .
-          # Remove potentially leftover files from last run, it's unclear why
-          # this only works with `sudo` despite the chown command above.
-          sudo rm -rfv ./target
+          echo "Free space:"
+          df -h
+
       - name: Fix submodule permissions check
         run: |
           git config --global --add safe.directory '*'