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

Rename miri component to miri-preview #59236

Merged
merged 1 commit into from
Mar 23, 2019
Merged

Conversation

mati865
Copy link
Contributor

@mati865 mati865 commented Mar 16, 2019

It should fix installation via rustup and indicates it's not stable yet.

@rust-highfive
Copy link
Collaborator

r? @nikomatsakis

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 16, 2019
@oli-obk
Copy link
Contributor

oli-obk commented Mar 16, 2019

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Mar 16, 2019

📌 Commit c5a52a24564a70cb094cd9109ae73aac6f4456cd has been approved by oli-obk

@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 Mar 16, 2019
@bors
Copy link
Contributor

bors commented Mar 22, 2019

☔ The latest upstream changes (presumably #58995) made this pull request unmergeable. Please resolve the merge conflicts.

@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 Mar 22, 2019
It should fix installation via rustup and indicates it's not stable yet
@mati865
Copy link
Contributor Author

mati865 commented Mar 22, 2019

Rebased.

@oli-obk
Copy link
Contributor

oli-obk commented Mar 22, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Mar 22, 2019

📌 Commit 9ee3a40 has been approved by oli-obk

@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 Mar 22, 2019
Centril added a commit to Centril/rust that referenced this pull request Mar 22, 2019
Rename miri component to miri-preview

It should fix installation via `rustup` and indicates it's not stable yet.
bors added a commit that referenced this pull request Mar 22, 2019
Rollup of 18 pull requests

Successful merges:

 - #59106 (Add peer_addr function to UdpSocket)
 - #59170 (Add const generics to rustdoc)
 - #59172 (Update and clean up several parts of CONTRIBUTING.md)
 - #59190 (consistent naming for Rhs type parameter in libcore/ops)
 - #59236 (Rename miri component to miri-preview)
 - #59266 (Do not complain about non-existing fields after parse recovery)
 - #59273 (some small HIR doc improvements)
 - #59291 (Make Option<ThreadId> no larger than ThreadId, with NonZeroU64)
 - #59297 (convert field/method confusion help to suggestions)
 - #59304 (Move some bench tests back from libtest)
 - #59309 (Add messages for different verbosity levels. Output copy actions.)
 - #59321 (Unify E0109, E0110 and E0111)
 - #59322 (Tweak incorrect escaped char diagnostic)
 - #59323 (use suggestions for "enum instead of variant" error)
 - #59327 (Add NAN test to docs)
 - #59329 (cleanup: Remove compile-fail-fulldeps directory again)
 - #59347 (Move one test from run-make-fulldeps to ui)
 - #59360 (Add tracking issue number for `seek_convenience`)

Failed merges:

r? @ghost
@bors bors merged commit 9ee3a40 into rust-lang:master Mar 23, 2019
@mati865 mati865 deleted the miri-preview branch May 10, 2019 15:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants