src/ci/scripts/clean-disk.sh

   1 #!/bin/bash
   2 # This script deletes some of the Azure-provided artifacts. We don't use these,
   3 # and disk space is at a premium on our builders.
   4
   5 set -euo pipefail
   6 IFS=$'\n\t'
   7
   8 source "$(cd "$(dirname "$0")" && pwd)/../shared.sh"
   9
  10 # All the Linux builds happen inside Docker.
  11 if isLinux; then
  12     # 6.7GB
  13     sudo rm -rf /opt/ghc
  14     # 16GB
  15     sudo rm -rf /usr/share/dotnet
  16 fi