Rename `mingw-` CI jobs to `pr-`#143294

Merged

bors merged 2 commits intorust-lang:masterfrom

ChrisDenton:rename-mingw

Jul 3, 2025

Commits on Jul 1, 2025

Rename mingw-* CI jobs to pr-*
ChrisDenton
committed

Commits on Jul 2, 2025

Rename mingw-check-tidy to tidy
ChrisDenton
committed