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

Merged
merged 1 commit into from
May 18, 2021
Merged

update Miri #85402

merged 1 commit into from
May 18, 2021

Conversation

RalfJung
Copy link
Member

Fixes #85397

@rust-highfive
Copy link
Collaborator

r? @Mark-Simulacrum

(rust-highfive has picked a reviewer for you, use r? to override)

@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 May 17, 2021
@RalfJung
Copy link
Member Author

@bors r+ p=1

@bors
Copy link
Contributor

bors commented May 17, 2021

📌 Commit d8a912b628c1638ba7ddfb44024d5f516a1a6023 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 May 17, 2021
@bors
Copy link
Contributor

bors commented May 17, 2021

⌛ Testing commit d8a912b628c1638ba7ddfb44024d5f516a1a6023 with merge d92b696985b8f4e7a3669dce5ca0dcb59b0dc0ed...

@RalfJung
Copy link
Member Author

RalfJung commented May 17, 2021 •
edited
Loading

@bors r- retry
Miri will be broken again by #85408

@bors bors 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 May 17, 2021
@rust-log-analyzer

This comment has been minimized.

Sign in to view
@RalfJung RalfJung removed the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 17, 2021
@RalfJung
Copy link
Member Author

@bors r+ p=1

@bors
Copy link
Contributor

bors commented May 17, 2021

📌 Commit a05dd06 has been approved by RalfJung

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 17, 2021
@bors
Copy link
Contributor

bors commented May 18, 2021

⌛ Testing commit a05dd06 with merge 5f10d31...

@bors
Copy link
Contributor

bors commented May 18, 2021

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 5f10d31 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 18, 2021
@bors bors merged commit 5f10d31 into rust-lang:master May 18, 2021
@rustbot rustbot added this to the 1.54.0 milestone May 18, 2021
@rust-highfive
Copy link
Collaborator

📣 Toolstate changed by #85402!

Tested on commit 5f10d31.
Direct link to PR: #85402

🎉 miri on windows: build-fail → test-pass (cc @RalfJung @oli-obk @eddyb).
🎉 miri on linux: build-fail → test-pass (cc @RalfJung @oli-obk @eddyb).

rust-highfive added a commit to rust-lang-nursery/rust-toolstate that referenced this pull request May 18, 2021
@rust-highfive
📣 Toolstate changed by rust-lang/rust#85402!
f79c691 
Tested on commit rust-lang/rust@5f10d31.
Direct link to PR: <rust-lang/rust#85402>

🎉 miri on windows: build-fail → test-pass (cc @RalfJung @oli-obk @eddyb).
🎉 miri on linux: build-fail → test-pass (cc @RalfJung @oli-obk @eddyb).
@RalfJung RalfJung deleted the miri branch May 18, 2021 08:04
@RalfJung RalfJung mentioned this pull request Jul 3, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@Mark-Simulacrum Mark-Simulacrum

Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.54.0
Development

Successfully merging this pull request may close these issues.

miri no longer builds after rust-lang/rust#85178
6 participants
@RalfJung @rust-highfive @bors @rust-log-analyzer @Mark-Simulacrum @rustbot