Skip to content

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

Merged
bors merged 2 commits intorust-lang:masterfrom RalfJung:miriMar 29, 2021
+9-2

Commits

Commits on Mar 27, 2021

Commits on Mar 28, 2021