Rollup merge of #70847 - pietroalbini:ci-move-docker-lib, r=Mark-Simulacrum

ci: move /var/lib/docker to /mnt on GHA

There are some builders that are running out of disk space while building the Docker images, such as arm-android. This moves and symlinks `/var/lib/docker` to the `/mnt` partition on Linux GHA.

Example of a build failing because of this: https://github.com/rust-lang-ci/rust/runs/564628621
This commit is contained in:
Dylan DPC 2020-04-08 18:37:18 +02:00 committed by GitHub
commit 54abd4ffcf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,4 +24,10 @@ elif isLinux && isGitHubActions; then
mv "${current_dir}" /mnt/more-space/workspace
ln -s /mnt/more-space/workspace "${current_dir}"
cd "${current_dir}"
# Move the Docker data directory to /mnt
sudo systemctl stop docker.service
sudo mv /var/lib/docker /mnt/docker
sudo ln -s /mnt/docker /var/lib/docker
sudo systemctl start docker.service
fi