clean more space

Author: yongwww

.github/workflows/release-ci-docker.yml

@@ -7,17 +7,40 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
-
-      - name: Free Disk Space
+      - name: Free Disk Space (Pre-checkout)
         run: |
+          echo "=== Initial disk usage ==="
+          df -h
+          
+          echo "=== Removing unnecessary software ==="
           sudo rm -rf /usr/share/dotnet
           sudo rm -rf /usr/local/lib/android
           sudo rm -rf /opt/ghc
-          sudo rm -rf /opt/hostedtoolcache/CodeQL
-          sudo docker system prune -af
-          sudo apt clean
+          sudo rm -rf /opt/hostedtoolcache
+          sudo rm -rf /usr/local/.ghcup
+          sudo rm -rf /usr/local/share/boost
+          sudo rm -rf /usr/share/miniconda
+          sudo rm -rf /usr/local/graalvm
+          sudo rm -rf /opt/az
+          
+          echo "=== Removing swap file ==="
+          sudo swapoff -a
+          sudo rm -rf /swapfile
+          
+          echo "=== Cleaning Docker ==="
+          docker rmi $(docker images -q) 2>/dev/null || true
+          sudo docker system prune -af --volumes
+          
+          echo "=== Cleaning package manager ==="
+          sudo apt-get clean
+          sudo apt-get autoremove -y
+          sudo apt-get autoclean
+          
+          echo "=== Final disk usage ==="
           df -h
+          echo "=== Space freed: ~30-40 GB ==="
+
+      - uses: actions/checkout@v4
 
       - name: Set up QEMU
         uses: docker/setup-qemu-action@v3