From 75b2ff964215106fb86c0e3783b7c08ed4e20f1c Mon Sep 17 00:00:00 2001
From: lrlunin <lunin@campus.tu-berlin.de>
Date: Fri, 14 Jul 2023 21:53:49 +0200
Subject: [PATCH] optimize space

---
 .github/workflows/build-and-publish.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-and-publish.yml b/.github/workflows/build-and-publish.yml
index eeff508..6b918e4 100644
--- a/.github/workflows/build-and-publish.yml
+++ b/.github/workflows/build-and-publish.yml
@@ -30,9 +30,13 @@ jobs:
       - name: Maximize build space
         uses: easimon/maximize-build-space@master
         with:
-          root-reserve-mb: 512
+          root-reserve-mb: 38000
           swap-size-mb: 1024
           remove-dotnet: 'true'
+          remove-android: 'true'
+          remove-haskell: 'true'
+          remove-codeql: 'true'
+          remove-docker-images: 'true'
       - name: free-space-init
         run: |
           echo "Free space:"