Skip to content

Miri component missing even though toolstate is green #59746

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
RalfJung opened this issue Apr 6, 2019 · 2 comments
Closed

Miri component missing even though toolstate is green #59746

RalfJung opened this issue Apr 6, 2019 · 2 comments

Comments

@RalfJung
Copy link
Member

RalfJung commented Apr 6, 2019

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
@RalfJung RalfJung mentioned this issue Apr 6, 2019
Merged
@kennytm
Copy link
Member

kennytm commented Apr 6, 2019

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

@RalfJung
Copy link
Member Author

RalfJung commented Apr 6, 2019

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!

@RalfJung RalfJung closed this as completed Apr 6, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kennytm @RalfJung