Skip to content

triagebot: tweak wording for miri changes message - #159463

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:triagebot-miri
Jul 18, 2026
Merged

triagebot: tweak wording for miri changes message#159463
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:triagebot-miri

triagebot: tweak wording for miri changes message

960d9c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jul 17, 2026 in 42s