From e5b848f1b4ab72813912acde9e4bed7f49853d82 Mon Sep 17 00:00:00 2001
From: Thomas Niederberger <thomas@niederb.ch>
Date: Wed, 31 Jul 2024 09:18:25 +0200
Subject: [PATCH 1/2] Remove some tools we don't need in order to free up disk
 space

---
 .github/workflows/ci.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cdfaab229..6b70371aa 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -21,6 +21,20 @@ jobs:
         with:
           access_token: ${{ secrets.GITHUB_TOKEN }}
 
+  free-disk-space:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Free Disk Space (Ubuntu)
+      uses: jlumbroso/free-disk-space@main
+      with:
+        tool-cache: false
+        android: true
+        dotnet: true
+        haskell: true
+        large-packages: false
+        docker-images: false
+        swap-storage: false
+
   build:
     name: ${{ matrix.check }}
     runs-on: ${{ matrix.os }}

From 997101f0e1927a2d0ed10774f05458c59f689ac9 Mon Sep 17 00:00:00 2001
From: Thomas Niederberger <thomas@niederb.ch>
Date: Wed, 31 Jul 2024 09:54:29 +0200
Subject: [PATCH 2/2] Add dependency to free-disk-space

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6b70371aa..138bdbe7f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -38,6 +38,7 @@ jobs:
   build:
     name: ${{ matrix.check }}
     runs-on: ${{ matrix.os }}
+    needs: free-disk-space
     strategy:
       fail-fast: false
       matrix: