bors 72716b134a Auto merge of #144305 - ChrisDenton:win-free-disk-space, r=marcoieni ... Free disk space on Windows 2025 runners I've managed to reduce the time deletion takes by: - Using powershell, which is generally faster for filesystem operations than msys2 - Performing deletions concurrently then waiting for them all to complete It still takes 2-10 mins but that's not too bad.		2025-07-30 06:00:09 +00:00
..
jobs.yml	Auto merge of #144305 - ChrisDenton:win-free-disk-space, r=marcoieni	2025-07-30 06:00:09 +00:00
problem_matchers.json	Add gha problem matcher	2023-06-19 15:34:31 +00:00