Rename optional-mingw-check-1 to optional-pr-check-1#144152
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 20, 2025
Merged
Rename `optional-mingw-check-1` to `optional-pr-check-1`#144152bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
