fix: reducing space consumption in GitHub runners

.github/workflows/test-local.yml

@@ -132,6 +132,20 @@ jobs:
         password: ${{ secrets.token }}
 
     steps:
+      - name: Free Disk Space Before Build
+        run: |
+          echo "Disk space before cleanup:"
+          df -h
+          sudo rm -rf /usr/local/.ghcup
+          sudo rm -rf /opt/hostedtoolcache/CodeQL
+          sudo rm -rf /usr/local/lib/android/sdk/ndk
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/local/share/boost
+          sudo apt-get clean
+          echo "Disk space after cleanup:"
+          df -h
+
       - name: "Install Git and checkout project"
         uses: actions/checkout@v4.2.2
         with:
@@ -288,4 +302,43 @@ jobs:
         with:
           name: ${{ inputs.file-name }}.xml
           path: ./${{ inputs.file-name }}.xml
+
+      - name: "Show space consumption"
+        shell: bash
+        run: |
+          echo "Disk space:"
+          df -h
+          echo ""
+          echo "Disk usage"
+          echo "=========="
+          echo "Disk usage in current directory:"
+          du -sh *
+
+          echo "Disk usage in /home:"
+          du -sh /home/*
 
+          echo "Disk usage root /:"
+          du -sh /*
+
+          echo "Disk usage in /usr:"
+          du -sh /usr/*
+
+          echo "Disk usage in /tmp:"
+          du -sh /tmp/*
+
+          echo "Disk usage in /var/tmp:"
+          du -sh /var/tmp/*
+
+      - name: Free Disk Space Before Build
+        run: |
+          echo "Disk space before cleanup:"
+          df -h
+          sudo rm -rf /usr/local/.ghcup
+          sudo rm -rf /opt/hostedtoolcache/CodeQL
+          sudo rm -rf /usr/local/lib/android/sdk/ndk
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/local/share/boost
+          sudo apt-get clean
+          echo "Disk space after cleanup:"
+          df -h