Skip to content

x.py: do not build Miri by default on stable/beta#73232

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-no-default
Jun 14, 2020

Commits

Commits on Jun 12, 2020