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