update Miri, and also run test suite with mir-opt-level=4#83565

Merged

bors merged 2 commits intorust-lang:masterfrom

Mar 29, 2021

Commits on Mar 27, 2021

Run Miri test suite with mir-opt-level=4
RalfJung
committed

Commits on Mar 28, 2021

update Miri
RalfJung
committed