👷 Relocate Docker storage to LVM volume in CI

Reconfigure Docker's data-root to use the LVM volume created by
maximize-build-space, fixing recurring "no space left on device"
CI failures. Reduce root-reserve-mb from 30 GB to 4 GB since
Docker data no longer resides on root filesystem.

Author: AndreMiras

.github/workflows/push.yml

@@ -98,13 +98,20 @@ jobs:
     - name: Maximize build space
       uses: easimon/maximize-build-space@v10
       with:
-        root-reserve-mb: 30720
+        root-reserve-mb: 4096
         swap-size-mb: 1024
         remove-dotnet: 'true'
         remove-android: 'true'
         remove-haskell: 'true'
         remove-codeql: 'true'
         remove-docker-images: 'true'
+    - name: Relocate Docker data directory
+      run: |
+        sudo systemctl stop docker
+        sudo mkdir -p "${GITHUB_WORKSPACE}/docker-data"
+        echo '{"data-root": "'${GITHUB_WORKSPACE}/docker-data'"}' | sudo tee /etc/docker/daemon.json
+        sudo systemctl start docker
+        docker info | grep "Docker Root Dir"
     - name: Checkout python-for-android
       uses: actions/checkout@v5
     - name: Build python-for-android docker image
@@ -224,13 +231,20 @@ jobs:
     - name: Maximize build space
       uses: easimon/maximize-build-space@v10
       with:
-        root-reserve-mb: 30720
+        root-reserve-mb: 4096
         swap-size-mb: 1024
         remove-dotnet: 'true'
         remove-android: 'true'
         remove-haskell: 'true'
         remove-codeql: 'true'
         remove-docker-images: 'true'
+    - name: Relocate Docker data directory
+      run: |
+        sudo systemctl stop docker
+        sudo mkdir -p "${GITHUB_WORKSPACE}/docker-data"
+        echo '{"data-root": "'${GITHUB_WORKSPACE}/docker-data'"}' | sudo tee /etc/docker/daemon.json
+        sudo systemctl start docker
+        docker info | grep "Docker Root Dir"
     - name: Checkout python-for-android (all-history)
       uses: actions/checkout@v5
       with: