Skip to content

Rollup of 6 pull requests - #68685

Merged
bors merged 13 commits into
rust-lang:masterfrom
Dylan-DPC-zz:rollup-rkbo05z
Jan 31, 2020
Merged

Rollup of 6 pull requests#68685
bors merged 13 commits into
rust-lang:masterfrom
Dylan-DPC-zz:rollup-rkbo05z

Conversation

@Dylan-DPC-zz

Copy link
Copy Markdown

Successful merges:

Failed merges:

r? @ghost

Centriland others added 13 commits January 28, 2020 02:30
This adds the Run button to code examples just like the core and std docs have.
…k-Simulacrum
check_unsafety: more code reuse
r? oli-obk
clarify "incorrect issue" error
Changes the message to be more precise, shrinks the span and adds a label specifying why the `issue` field is incorrect.
…tril
Add `#![doc(html_playground_url = ...)]` to alloc crate
This adds the Run button to code examples just like the core and std docs have.
@Dylan-DPC-zzDylan-DPC-zz added the rollup A PR which is a rollup label Jan 31, 2020
@Dylan-DPC-zz

Copy link
Copy Markdown
Author

@bors r+ rollup=never p=6

@bors

bors commented Jan 31, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 6c67466 has been approved by Dylan-DPC

@borsbors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jan 31, 2020
@bors

bors commented Jan 31, 2020

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 6c67466 with merge 266ecd6...

bors added a commit that referenced this pull request Jan 31, 2020
Rollup of 6 pull requests
Successful merges:
- #68588 (check_unsafety: more code reuse)
- #68638 (Add missing links for cmp traits)
- #68660 (Fix typo.)
- #68669 (suggest adding space in accidental doc comments)
- #68670 (clarify "incorrect issue" error)
- #68680 (Add `#![doc(html_playground_url = ...)]` to alloc crate)
Failed merges:
r? @ghost
@bors

bors commented Jan 31, 2020

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-azure
Approved by: Dylan-DPC
Pushing 266ecd6 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label Jan 31, 2020
@bors
bors merged commit 6c67466 into rust-lang:masterJan 31, 2020
@borsbors mentioned this pull request Jan 31, 2020
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.rollupA PR which is a rollupS-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.

8 participants

@Dylan-DPC-zz@bors@Centril@kubo39@GuillaumeGomez@euclio@ollie27@Dylan-DPC