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 #59755

Merged
merged 1 commit into from
Apr 7, 2019
Merged

Update miri #59755

merged 1 commit into from
Apr 7, 2019

Conversation

matthewjasper
Copy link
Contributor

@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 Apr 6, 2019
@RalfJung
Copy link
Member

RalfJung commented Apr 6, 2019

r=me when Travis is green

@Centril
Copy link
Contributor

Centril commented Apr 6, 2019

Thank you both for this!

cc #58739

@bors p=9

@RalfJung RalfJung mentioned this pull request Apr 6, 2019
Merged
@matthewjasper
Copy link
Contributor Author

@bors r=RalfJung

Cancel this if a MIRI gets a PR for #59119 before this lands.

@bors
Copy link
Contributor

bors commented Apr 6, 2019

📌 Commit c3bab4f has been approved by RalfJung

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 6, 2019
Centril added a commit to Centril/rust that referenced this pull request Apr 6, 2019
@Centril
Rollup merge of rust-lang#59755 - matthewjasper:update-miri, r=RalfJung
a33bee6 
Update miri

r? @RalfJung
@Centril Centril mentioned this pull request Apr 6, 2019
Closed
@RalfJung
Copy link
Member

RalfJung commented Apr 6, 2019

@bors r-

Could you update to include rust-lang/miri#677 ?

@bors bors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Apr 6, 2019
@matthewjasper
Copy link
Contributor Author

@bors r=RalfJung

@bors
Copy link
Contributor

bors commented Apr 6, 2019

📌 Commit acfe36e has been approved by RalfJung

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Apr 6, 2019
Centril added a commit to Centril/rust that referenced this pull request Apr 6, 2019
@Centril
Rollup merge of rust-lang#59755 - matthewjasper:update-miri, r=RalfJung
4601ff0 
Update miri

r? @RalfJung
@Centril Centril mentioned this pull request Apr 6, 2019
Merged
bors added a commit that referenced this pull request Apr 6, 2019
@bors
Auto merge of #59760 - Centril:rollup-4b9x7ue, r=Centril
0913800 
Rollup of 5 pull requests

Successful merges:

 - #59738 (Move match_path from DefId to lint::LateContext)
 - #59740 (Use for_each to extend collections)
 - #59751 (Tiny docs fix)
 - #59754 (Update books)
 - #59755 (Update miri)

Failed merges:

r? @ghost
@bors
Copy link
Contributor

bors commented Apr 7, 2019

⌛ Testing commit acfe36e with merge 0913800...

@bors bors merged commit acfe36e into rust-lang:master Apr 7, 2019
@matthewjasper matthewjasper deleted the update-miri branch April 7, 2019 00:57
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-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@matthewjasper @rust-highfive @RalfJung @Centril @bors