summary refs log tree commit diff
path: root/src/ci/scripts/clean-disk.sh
blob: c50de37c492b422decb2542a70afd7c8fd93f4b1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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