CI: Free more disk space with free-disk-space script

[whiteio]

Attempting to move the free-disk-space github action into the repo as it isn't currently maintained. This involves moving the script within free-disk-space into the repo.

I'm opening this as a draft to verify that the saved space is the same as the original action. Once that is verified, I'll look into integrating these two PRs to improve it:

• perf: speed up deletings jlumbroso/free-disk-space#26
• Remove snapd and microsoft-edge-stable jlumbroso/free-disk-space#24

Changes so far:

• Took the script from the free-disk-space repo and moved it into src/ci/scripts/
• Removed unnecessary if statements which were used to check for github action inputs which we don't need to check
• Swapped to using this script within the rust repo, instead of using the jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be GitHub action

See this issue for more info: rust-lang/infra-team#183

[rustbot]

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Mark-Simulacrum (or someone else) some time within the next two weeks.

Please see the contribution instructions for more information. Namely, in order to ensure the minimum review times lag, PR authors and assigned reviewers should ensure that the review label (S-waiting-on-review and S-waiting-on-author) stays updated, invoking these commands when appropriate:

• @rustbot author: the review is finished, PR author should check the comments and take action accordingly
• @rustbot review: the author is ready for a review, this PR will be queued again in the reviewer's queue

[whiteio]

Confirmed that the script behaves the same when moved to the repo, still trying to figure out if jlumbroso/free-disk-space#26 makes a tangible difference.

Currently, free disk space can clean up 36GB with the changes up to this point, so a 10GB improvement so far.

[larziwau]

e447a4f (#134151)
does this commit really make a difference?

[whiteio]

e447a4f (#134151) does this commit really make a difference?

Nope, will be reverting that one, jlumbroso/free-disk-space#26 also doesn't seem to make a noticeable improvement, especially compared to the example in that PR