Auto merge of #891 - RalfJung:rustup, r=RalfJung
Auto merge of #891 - RalfJung:rustup, r=RalfJung

test-cargo-miri: cargo update

With both https://github.com/rust-random/getrandom/pull/74 and https://github.com/rust-lang/miri/pull/884 having landed, this should work now.

rust-lang/miri,tsion/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri