From 669d077694e318ebee082eabf0e04eae936f08d2 Mon Sep 17 00:00:00 2001
From: Daylin Morgan <me@dayl.in>
Date: Thu, 13 Jun 2024 14:29:07 -0500
Subject: [PATCH] try to free up more space

---
 .github/workflows/build.yml | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1735478..006cb93 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -29,8 +29,20 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      # free up some space
-      - run: sudo rm -rf /opt&
+      # The default disk size of these runners is ~14GB
+      # Cleanup the disk, see upstream discussion https://github.com/actions/runner-images/issues/2840.
+      - name: Cleanup Disk Space
+        run: |
+          echo "Before removing files:"
+          df -h
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /opt
+          sudo rm -rf "/usr/local/share/boost"
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY"
+          echo "After removing files:"
+          df -h
+
       - uses: actions/checkout@v4
 
       - uses: DeterminateSystems/nix-installer-action@main