rust/src/ci/scripts/clean-disk.sh, branch try https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=try 2022-06-05T10:30:01+00:00 remove clean-disk script 2022-06-05T10:30:01+00:00 Pietro Albini pietro@pietroalbini.org 2022-06-05T10:30:01+00:00 urn:sha1:b926519d322a7e20973517e27d5d7e02984c120d The script wasn't referenced anywhere, and it's not useful anymore: /opt/ghc is not present in new images, while /usr/share/dotnet is only 2.3 GB rather than 16 GB. Clean out some default-installed directories 2020-02-18T10:34:59+00:00 Mark Rousskov mark.simulacrum@gmail.com 2020-02-18T00:39:38+00:00 urn:sha1:c992ab23fa14a38c5565889d52ba3a3fb6e1e831 This helps us have enough disk space for our builders to be able to complete successfully. For now, the choices are ad-hoc and 'definitely not needed'. This should never fail the build, as everything our build needs should be inside Docker.