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.

Sign up for GitHub

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

Jump to bottom

update Miri #75314

Closed
wants to merge 1 commit into from
Closed

update Miri #75314

wants to merge 1 commit into from

Conversation

eggyal
Copy link
Contributor

@eggyal eggyal commented Aug 8, 2020

Fixes #75274
r? @RalfJung

@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 Aug 8, 2020
@RalfJung
Copy link
Member

RalfJung commented Aug 9, 2020

Thanks! I didn't make a PR yet as I plan to look into fixing rust-lang/miri#1382, which might require further changes on the rustc side.

@eggyal
Copy link
Contributor Author

eggyal commented Aug 9, 2020

No worries!

@eggyal eggyal closed this Aug 9, 2020
@eggyal eggyal deleted the miri branch June 28, 2022 06:07
@eggyal eggyal restored the miri branch June 28, 2022 06:07
@eggyal eggyal deleted the miri branch June 28, 2022 06:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@RalfJung RalfJung

Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

miri no longer builds after rust-lang/rust#75048
3 participants
@eggyal @rust-highfive @RalfJung