diff --git a/hack/ci/free-space.sh b/hack/ci/free-space.sh index 2b78ef93a4..3c2e15c850 100755 --- a/hack/ci/free-space.sh +++ b/hack/ci/free-space.sh @@ -22,7 +22,19 @@ print_free_space() { print_free_space # clean unneeded os packages and misc -sudo apt-get remove --yes '^dotnet-.*' 'php.*' azure-cli google-cloud-sdk google-chrome-stable firefox powershell +sudo apt-get remove -y '^ghc-8.*' +sudo apt-get remove -y '^dotnet-.*' +sudo apt-get remove -y '^llvm-.*' +sudo apt-get remove -y 'php.*' +sudo apt-get remove -y \ + azure-cli \ + google-cloud-sdk \ + google-chrome-stable \ + firefox \ + powershell \ + monodoc-http \ + mono-devel + sudo apt-get autoremove --yes sudo apt clean @@ -31,8 +43,10 @@ sudo rm --recursive --force \ /usr/local/lib/android \ /usr/share/dotnet \ /usr/share/miniconda \ - /usr/share/dotnet \ - /usr/share/swift + /usr/share/swift \ + /opt/ghc \ + /usr/local/share/boost \ + "$AGENT_TOOLSDIRECTORY" # clean unneeded docker images docker system prune --all --force