It turns out that actions-rs handles automatically finding the latest nightly with selected components (miri in this case), which simplifies things: https://github.com/actions-rs/toolchain#components

For the local case where latest nightly might not have miri, added --toolchain to allow the user to manually specify what they want. That can be useful outside of miri too, like bisecting against rustc releases.

LGTM!