Skip to content

ci: remove more unused files and directories in free runners#136535

Merged
bors merged 1 commit intorust-lang:masterfrom
marcoieni:free-runners-remove-more-dirs
Feb 13, 2025
Merged

ci: remove more unused files and directories in free runners#136535
bors merged 1 commit intorust-lang:masterfrom
marcoieni:free-runners-remove-more-dirs

Commits

Commits on Feb 11, 2025