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/test/rustdoc-ui/coverage/json.rs | |
| 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/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions