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

Update miri links #58621

Merged
merged 2 commits into from
Feb 23, 2019
Merged

Update miri links #58621

merged 2 commits into from
Feb 23, 2019

Conversation

phansch
Copy link
Member

@phansch phansch commented Feb 21, 2019

Miri has been moved to rust-lang a couple of days ago.

Miri has been moved to `rust-lang` a couple of days ago.
@rust-highfive
Copy link
Collaborator

r? @alexcrichton

(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 Feb 21, 2019
@oli-obk
Copy link
Contributor

oli-obk commented Feb 21, 2019

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Feb 21, 2019

📌 Commit 4867a8c 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 Feb 21, 2019
@aravind-pg
Copy link
Contributor

FWIW, it looks like clippy, rustfmt and RLS are also part of rust-lang now.

@phansch
Copy link
Member Author

phansch commented Feb 21, 2019

Thanks, I added 36f6652 which fixes the rest of the nursery links in the CONTRIBUTING.md

@alexcrichton
Copy link
Member

r? @oli-obk

@oli-obk
Copy link
Contributor

oli-obk commented Feb 21, 2019

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Feb 21, 2019

📌 Commit 36f6652 has been approved by oli-obk

@bors
Copy link
Contributor

bors commented Feb 21, 2019

🌲 The tree is currently closed for pull requests below priority 99, this pull request will be tested once the tree is reopened

Centril added a commit to Centril/rust that referenced this pull request Feb 22, 2019
Update miri links

Miri has been moved to `rust-lang` a couple of days ago.
Centril added a commit to Centril/rust that referenced this pull request Feb 22, 2019
Update miri links

Miri has been moved to `rust-lang` a couple of days ago.
bors added a commit that referenced this pull request Feb 22, 2019
Rollup of 17 pull requests

Successful merges:

 - #57656 (Deprecate the unstable Vec::resize_default)
 - #58059 (deprecate before_exec in favor of unsafe pre_exec)
 - #58064 (override `VecDeque::try_rfold`, also update iterator)
 - #58198 (Suggest removing parentheses surrounding lifetimes)
 - #58431 (fix overlapping references in BTree)
 - #58555 (Add a note about 2018e if someone uses `try {` in 2015e)
 - #58588 (remove a bit of dead code)
 - #58589 (cleanup macro after 2018 transition)
 - #58591 (Dedup a rustdoc diagnostic construction)
 - #58600 (fix small documentation typo)
 - #58601 (Search for target_triple.json only if builtin target not found)
 - #58606 (Docs: put Future trait into spotlight)
 - #58607 (Fixes #58586: Make E0505 erronous example fail for the 2018 edition)
 - #58615 (miri: explain why we use static alignment in ref-to-place conversion)
 - #58620 (introduce benchmarks of BTreeSet.intersection)
 - #58621 (Update miri links)
 - #58632 (Make std feature list sorted)

Failed merges:

r? @ghost
@bors bors merged commit 36f6652 into rust-lang:master Feb 23, 2019
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.

6 participants