CI: free disk with in-tree script instead of GitHub Action#135827

Merged

bors merged 1 commit intorust-lang:masterfrom marcoieni:free-space-script

Jan 24, 2025

+143-1

Commits on Jan 21, 2025

CI: free disk with in-tree script instead of GitHub Action

marcoieni
and
whiteio
committed