From 4b18de1703cf709bb93a17a096a070bdf4b869f1 Mon Sep 17 00:00:00 2001
From: Po-Chun Chien <po-chun.chien@sosy.ifi.lmu.de>
Date: Sun, 28 Sep 2025 18:33:45 +0200
Subject: [PATCH] Remove some preinstalled packages on CI runner to gain more
 free space

---
 .github/workflows/ci.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f77447658..e8d5a2d92 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -35,7 +35,9 @@ jobs:
       - name: Install Packages (Linux)
         if: runner.os == 'Linux'
         run: |
-          # Remove the largest ones first to free up some space.
+          # Remove some packages first to free up some space.
+          # inspired by https://github.com/marketplace/actions/maximize-build-disk-space
+          sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc /opt/hostedtoolcache/CodeQL
           sudo apt-get remove \
             azure-cli \
             google-chrome-stable \
@@ -59,7 +61,6 @@ jobs:
           echo "CFLAGS=-I$(brew --prefix)/include $CFLAGS" >> "$GITHUB_ENV"
           echo "CPPFLAGS=-I$(brew --prefix)/include $CPPFLAGS" >> "$GITHUB_ENV"
 
-
       - name: Python Dependencies
         run: |
           python3 -m venv ./.venv