Miri component missing even though toolstate is green

[RalfJung]

According to https://rust-lang-nursery.github.io/rust-toolstate/, Miri's tests are currently passing, but still as we can see at https://rust-lang.github.io/rustup-components-history/, the Miri component is not actually available. I am not sure what is going wrong.

Cc @oli-obk @rust-lang/infra

[kennytm]

The bug is the components history's date is at 2019-04-03.

[RalfJung]

Oh, you are right. I saw some other CI failures elsewhere and thought they were caused by the component not being available, but instead that was just another instance of rust-lang/miri#675. Sorry for the noise!