replace 'locally built rustc' instructions by 'Miri in rustc'#2698

Merged

bors merged 1 commit intorust-lang:masterfrom RalfJung:miri-in-rustc

Nov 28, 2022

+14-47

Commits on Nov 27, 2022

replace 'locally built rustc' instructions by 'Miri in rustc'
RalfJung
committed