ci: free disk space before docker build to prevent pip install failures

Author: camille-004

.github/workflows/ci.yml

@@ -58,6 +58,17 @@ jobs:
       image-tag: ${{ steps.meta.outputs.tags }}
       image-digest: ${{ steps.build.outputs.digest }}
     steps:
+      - name: Free disk space
+        run: |
+          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 rm -rf /opt/hostedtoolcache/go
+          sudo rm -rf /opt/hostedtoolcache/node
+          docker system prune -af
+          df -h
+
       - name: Checkout repository
         uses: actions/checkout@v6
 
@@ -79,6 +90,9 @@ jobs:
           tags: |
             type=sha,prefix={{branch}}-
 
+      - name: Check disk space before build
+        run: df -h
+
       - name: Build and push CI image
         id: build
         timeout-minutes: 20