Skip to content

reduce some test sizes in Miri#63407

Merged
bors merged 2 commits intorust-lang:masterfrom RalfJung:miri-test-sizesAug 9, 2019

Commits

Commits on Aug 9, 2019