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
..
ISSUE_TEMPLATE	Fix missing words in future tracking issue	2025-07-07 08:40:04 -07:00
workflows	Auto merge of #144305 - ChrisDenton:win-free-disk-space, r=marcoieni	2025-07-30 06:00:09 +00:00
pull_request_template.md	Remove workaround from pull request template	2025-01-07 07:35:08 +01:00
renovate.json5	Configure renovatebot	2024-12-09 12:07:11 +01:00