diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-02-18 20:09:11 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-18 20:09:11 +0900 |
| commit | c1a05fbf00f4cf23e43036b2764a835ed4c3c96f (patch) | |
| tree | fd553b64639306496f4c7123ed667f83f8fa49f8 | |
| parent | 20c483506a8e1c904f57d8775252f0f74d6de1f2 (diff) | |
| parent | c992ab23fa14a38c5565889d52ba3a3fb6e1e831 (diff) | |
| download | rust-c1a05fbf00f4cf23e43036b2764a835ed4c3c96f.tar.gz rust-c1a05fbf00f4cf23e43036b2764a835ed4c3c96f.zip | |
Rollup merge of #69252 - Mark-Simulacrum:disk-try, r=pietroalbini
Clean out unused directories for extra disk space This cleans out some of the unused (but large) directories on our linux builders to hopefully allow them to complete without running out of disk space.
| -rw-r--r-- | src/ci/azure-pipelines/steps/run.yml | 3 | ||||
| -rwxr-xr-x | src/ci/scripts/clean-disk.sh | 16 |
2 files changed, 19 insertions, 0 deletions
diff --git a/src/ci/azure-pipelines/steps/run.yml b/src/ci/azure-pipelines/steps/run.yml index f536388b25b..c39f75aba89 100644 --- a/src/ci/azure-pipelines/steps/run.yml +++ b/src/ci/azure-pipelines/steps/run.yml @@ -31,6 +31,9 @@ steps: - bash: src/ci/scripts/setup-environment.sh displayName: Setup environment +- bash: src/ci/scripts/clean-disk.sh + displayName: Clean disk + - bash: src/ci/scripts/should-skip-this.sh displayName: Decide whether to run this job diff --git a/src/ci/scripts/clean-disk.sh b/src/ci/scripts/clean-disk.sh new file mode 100755 index 00000000000..c50de37c492 --- /dev/null +++ b/src/ci/scripts/clean-disk.sh @@ -0,0 +1,16 @@ +#!/bin/bash +# This script deletes some of the Azure-provided artifacts. We don't use these, +# and disk space is at a premium on our builders. + +set -euo pipefail +IFS=$'\n\t' + +source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" + +# All the Linux builds happen inside Docker. +if isLinux; then + # 6.7GB + sudo rm -rf /opt/ghc + # 16GB + sudo rm -rf /usr/share/dotnet +fi |