Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

submodules: Update miri from d2df5098 to 67fd5a44 #62489

Closed
wants to merge 1 commit into from

Conversation

tesuji
Copy link
Contributor

@tesuji tesuji commented Jul 8, 2019

@rust-highfive
Copy link
Collaborator

⚠️ Warning ⚠️

  • These commits modify submodules.

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 8, 2019
@RalfJung
Copy link
Member

RalfJung commented Jul 8, 2019

Parts of the Miri test suite currently only pass without validation -- Miri master is in "degraded state", so to speak. I'd prefer to defer updating Miri until rust-lang/miri#830 lands.

@tesuji
Copy link
Contributor Author

tesuji commented Jul 8, 2019

Closed to wait for it then.

@tesuji tesuji closed this Jul 8, 2019
@tesuji tesuji deleted the miri-up branch July 8, 2019 11:38
@RalfJung
Copy link
Member

@lzutao Miri has been fixed, you can try again. :)

@RalfJung
Copy link
Member

Ah, someone bet you to it at #62594.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants