Increase available disk space for CI builds

Signed-off-by: Stefan Weil <[email protected]>

.github/workflows/makeall-linux.yaml

@@ -48,6 +48,15 @@ jobs:
            df -h
            docker rmi $(docker images -q)
            df -h
+    - name: Remove Homebrew, Android and .NET
+      run: |
+           sudo rm -rf /home/linuxbrew # will release Homebrew
+           sudo rm -rf /usr/local/lib/android # will release about 10 GB if you don't need Android
+           sudo rm -rf /usr/share/dotnet # will release about 20GB if you don't need .NET
+           sudo rm -rf /opt/ghc
+           sudo rm -rf /usr/local/share/boost
+           sudo du -mscx /* 2>/dev/null || true
+           df -h /
     - name: update apt repositories
       run: sudo apt-get update
     - name: Install dependencies