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
Merged

x.py: do not build Miri by default on stable/beta#73232
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-no-default

Commits

Commits on Jun 12, 2020