diff --git a/ci/run-docker.sh b/ci/run-docker.sh
index 663128952856f25520f2d8d281536dd7d3092756..059e5377373de26968fa9d8d02f42ee73fc965cc 100755
--- a/ci/run-docker.sh
+++ b/ci/run-docker.sh
@@ -15,6 +15,12 @@ CARGO_HOME="${CARGO_HOME:-$DEFAULT_CARGO_HOME}"
 echo "${HOME}"
 pwd
 
+# Avoid "no space left on device" failure.
+if [ "${1}" = "aarch64-linux-android" ] ; then
+  docker system prune -af
+  docker system df
+fi
+
 run() {
     echo "Building docker container for target ${1}"