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

Closed

whiteio wants to merge 1 commit intorust-lang:masterfrom

whiteio:infra-issue-183

Commits on Jan 9, 2025

Add free-disk-space script and increase freed disk space
whiteio
committed