bbf9558b16
I'm renaming our runners to be more explicit about their size, architecture, and version. Switching to Windows 2025 over 2022 in some of our jobs in the hope that it's faster.