👷 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.

The relocation step runs after checkout to avoid permission
errors during workspace cleanup, and docker-data is excluded
from .dockerignore to prevent it being sent as build context.

Author: AndreMiras

.dockerignore

@@ -6,3 +6,4 @@ bin/
 *.pyc
 **/__pycache__
 *.egg-info/
+docker-data/

.github/workflows/push.yml

@@ -98,7 +98,7 @@ 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'
@@ -107,6 +107,13 @@ jobs:
         remove-docker-images: 'true'
     - name: Checkout python-for-android
       uses: actions/checkout@v5
+    - 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: Build python-for-android docker image
       run: |
         docker build --tag=kivy/python-for-android .
@@ -224,7 +231,7 @@ 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'
@@ -235,6 +242,13 @@ jobs:
       uses: actions/checkout@v5
       with:
         fetch-depth: 0
+    - 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: Pull docker image
       run: |
         make docker/pull