Skip to content

Make retags an implicit part of typed copies#154341

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:retag-on-typed-copy
May 2, 2026
Merged

Make retags an implicit part of typed copies#154341
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
RalfJung:retag-on-typed-copy

miri: remove retag statements, make typed copies retag implicitly ins…

e402c1e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded May 2, 2026 in 1m 4s