Sync main with upstream rust-v0.141.0#128

dkropachev wants to merge 1 commit into

maindkropachev/codex:mainfrom

sync/main-rust-v0.141.0-20260705dkropachev/codex:sync/main-rust-v0.141.0-20260705Copy head branch name to clipboard