diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-04-06 18:09:08 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-04-06 18:09:08 +0200 |
| commit | 1ce9257ebd184d079af40a72fd1a618893743ec9 (patch) | |
| tree | 0755468835b8d9111ed6532467de3b047f246c2e /src | |
| parent | bd18bc9a4c142100a7230e1fd1cfe6be08214693 (diff) | |
| download | rust-1ce9257ebd184d079af40a72fd1a618893743ec9.tar.gz rust-1ce9257ebd184d079af40a72fd1a618893743ec9.zip | |
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.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/ci/scripts/symlink-build-dir.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ci/scripts/symlink-build-dir.sh b/src/ci/scripts/symlink-build-dir.sh index c77059c00ac..50178b9c33e 100755 --- a/src/ci/scripts/symlink-build-dir.sh +++ b/src/ci/scripts/symlink-build-dir.sh @@ -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 |