Skip to content

Update miri submodule - #64308

Merged
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:miri
Sep 10, 2019
Merged

Update miri submodule#64308
bors merged 1 commit into
rust-lang:masterfrom
oli-obk:miri

Conversation

@oli-obk

@oli-obkoli-obk commented Sep 9, 2019

Copy link
Copy Markdown
Contributor

fixes#64244

@rust-highfive

rust-highfive commented Sep 9, 2019

Copy link
Copy Markdown
Contributor

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive

rust-highfive commented Sep 9, 2019

Copy link
Copy Markdown
Contributor

⚠️Warning⚠️

  • These commits modify submodules.

@rust-highfiverust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 9, 2019
@oli-obk

oli-obk commented Sep 9, 2019

Copy link
Copy Markdown
ContributorAuthor

@bors r+ p=1 (self r+ing due to no in-repo changes)

@bors

bors commented Sep 9, 2019

Copy link
Copy Markdown
Collaborator

📌 Commit 3d7040b has been approved by oli-obk

@borsbors 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 Sep 9, 2019
@oli-obk

oli-obk commented Sep 9, 2019

Copy link
Copy Markdown
ContributorAuthor

r? @ghost

@tmandrytmandry mentioned this pull request Sep 9, 2019
Merged
Centril added a commit to Centril/rust that referenced this pull request Sep 10, 2019
@Centril
Rollup merge ofrust-lang#64308- oli-obk:miri, r=oli-obk
c5a2e14
Update miri submodule
fixesrust-lang#64244
@CentrilCentril mentioned this pull request Sep 10, 2019
Merged
bors added a commit that referenced this pull request Sep 10, 2019
@bors
Auto merge of#64333- Centril:rollup-llhhr82, r=Centril
61dced1
Rollup of 4 pull requests
Successful merges:
- #64307 (Update clippy)
- #64308 (Update miri submodule)
- #64318 (update reference)
- #64323 (Always show backtrace on Fuchsia)
Failed merges:
r? @ghost
@bors
bors merged commit 3d7040b into rust-lang:masterSep 10, 2019
@bors

bors commented Sep 10, 2019

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 3d7040b with merge 61dced1...

@emilyalbini

emilyalbini commented Sep 23, 2019

Copy link
Copy Markdown
Member

@bors r- retry

@borsbors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. 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-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Sep 23, 2019
@tmandry

tmandry commented Sep 27, 2019

Copy link
Copy Markdown
Member

why was this r-?

@eddyb

eddyb commented Sep 27, 2019

Copy link
Copy Markdown
Contributor

@tmandry IIUC, there's a bors bug where sometimes it starts a build just after the PR has been merged as part of a rollup.
That build gets cancelled or something but the PR stays in a weird state until someone does what @pietroalbini did, is my guess.

@emilyalbini

emilyalbini commented Sep 27, 2019

Copy link
Copy Markdown
Member

Yep, basically what @eddyb said. The bug shows up usually after we restart bors.

@tmandry

tmandry commented Sep 27, 2019

Copy link
Copy Markdown
Member

oh, I see, thanks. I somehow didn't see that this was merged =)

@oli-obk
oli-obk deleted the miri branch March 16, 2021 12:13
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

S-waiting-on-borsStatus: 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.

miri no longer builds after rust-lang/rust#64230

7 participants

@oli-obk@rust-highfive@bors@emilyalbini@tmandry@eddyb@alexcrichton