Auto merge of #2291 - RalfJung:no-std-is-minimal, r=RalfJung
Auto merge of #2291 - RalfJung:no-std-is-minimal, r=RalfJung

use run_tests_minimal for the new no-std test

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