Auto merge of #1002 - RalfJung:workspace, r=RalfJung
Auto merge of #1002 - RalfJung:workspace, r=RalfJung

better error when using cargo-miri in a workspace

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