Skip to content

ci: clean windows disk space in background#145311

Merged
bors merged 1 commit intorust-lang:masterfrom
marcoieni:clean-disk-in-background-windows
Aug 15, 2025
Merged

ci: clean windows disk space in background#145311
bors merged 1 commit intorust-lang:masterfrom
marcoieni:clean-disk-in-background-windows

Commits

Commits on Aug 14, 2025