Skip to content

more compact way to adjust test sizes for Miri#71476

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:miri-test-sizes
Apr 24, 2020
Merged

more compact way to adjust test sizes for Miri#71476
bors merged 2 commits intorust-lang:masterfrom
RalfJung:miri-test-sizes

Commits