about summary refs log tree commit diff
path: root/src/ci/scripts/clean-disk.sh
AgeCommit message (Collapse)AuthorLines
2022-06-05remove clean-disk scriptPietro Albini-16/+0
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.
2020-02-18Clean out some default-installed directoriesMark Rousskov-0/+16
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.