Skip to content

Update miri links - #58621

Merged
bors merged 2 commits into
rust-lang:masterfrom
phansch:update_miri_links
Feb 23, 2019
Merged

Update miri links#58621
bors merged 2 commits into
rust-lang:masterfrom
phansch:update_miri_links

Conversation

@phansch

Copy link
Copy Markdown
Contributor

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
Copy Markdown
Contributor

r? @alexcrichton

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

@rust-highfiverust-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
Copy Markdown
Contributor

@bors r+ rollup

@bors

bors commented Feb 21, 2019

Copy link
Copy Markdown
Collaborator

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

Copy link
Copy Markdown
Contributor

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

@phansch

phansch commented Feb 21, 2019

Copy link
Copy Markdown
ContributorAuthor

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

@alexcrichton

Copy link
Copy Markdown
Member

r? @oli-obk

@oli-obk

Copy link
Copy Markdown
Contributor

@bors r+ rollup

@bors

bors commented Feb 21, 2019

Copy link
Copy Markdown
Collaborator

📌 Commit 36f6652 has been approved by oli-obk

@bors

bors commented Feb 21, 2019

Copy link
Copy Markdown
Collaborator

🌲 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.
@CentrilCentril mentioned this pull request Feb 22, 2019
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.
@CentrilCentril mentioned this pull request Feb 22, 2019
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:masterFeb 23, 2019
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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

@phansch@rust-highfive@oli-obk@bors@aravind-pg@alexcrichton