Merge pull request #586 from RalfJung/lib.miri.rs #796

Job	Run time
Clippy	13s
Rustfmt	12s
Test (aarch64-unknown-linux-gnu, ubuntu-latest, nightly)	1m 58s
Test (arm-unknown-linux-gnueabi, ubuntu-latest, nightly)	1m 40s
Test (arm-unknown-linux-gnueabihf, ubuntu-latest, nightly)	1m 48s
Test (i586-unknown-linux-gnu, ubuntu-latest, nightly)	1m 19s
Test (i686-unknown-linux-gnu, ubuntu-latest, nightly)	1m 13s
Test (powerpc-unknown-linux-gnu, ubuntu-latest, nightly)	1m 49s
Test (powerpc64-unknown-linux-gnu, ubuntu-latest, nightly)	1m 31s
Test (powerpc64le-unknown-linux-gnu, ubuntu-latest, nightly)	1m 27s
Test (thumbv6m-none-eabi, ubuntu-latest, nightly)	1m 3s
Test (thumbv7em-none-eabi, ubuntu-latest, nightly)	1m 4s
Test (thumbv7em-none-eabihf, ubuntu-latest, nightly)	1m 4s
Test (thumbv7m-none-eabi, ubuntu-latest, nightly)	1m 1s
Test (wasm32-unknown-unknown, ubuntu-latest, nightly)	1m 26s
Test (x86_64-unknown-linux-gnu, ubuntu-latest, nightly)	1m 16s
Test (x86_64-apple-darwin, macos-latest, nightly)	3m 4s
Test (i686-pc-windows-msvc, windows-latest, nightly)	1m 52s
Test (x86_64-pc-windows-msvc, windows-latest, nightly)	1m 51s
Test (i686-pc-windows-gnu, windows-latest, nightly-i686-gnu)	2m 28s
Test (x86_64-pc-windows-gnu, windows-latest, nightly-x86_64-gnu)	2m 17s
success	1s
	31m 37s

Provide feedback