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

Use summary_opts() in another spot #79780

Merged
merged 1 commit into from
Dec 8, 2020
Merged

Use summary_opts() in another spot #79780

merged 1 commit into from
Dec 8, 2020

Conversation

camelid
Copy link
Member

@camelid camelid commented Dec 7, 2020

I added summary_opts() before I cut the branch for #77686 (2 months
ago!), so this "slipped through the cracks".

@camelid
Use summary_opts() in another spot
2ee34a0 
I added `summary_opts()` before I cut the branch for rust-lang#77686 (2 months
ago!), so this "slipped through the cracks".
@camelid camelid added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Dec 7, 2020
@rust-highfive
Copy link
Collaborator

r? @GuillaumeGomez

(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 Dec 7, 2020
@camelid camelid mentioned this pull request Dec 7, 2020
Closed
@GuillaumeGomez
Copy link
Member

Thanks!

@bors: r+ rollup

@bors
Copy link
Contributor

bors commented Dec 7, 2020

📌 Commit 2ee34a0 has been approved by GuillaumeGomez

@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 Dec 7, 2020
@bors
Copy link
Contributor

bors commented Dec 7, 2020

⌛ Testing commit 2ee34a0 with merge f1f7251a12ef68774a0bc43301240c109499ec6f...

@bors
Copy link
Contributor

bors commented Dec 7, 2020

💔 Test failed - checks-actions

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Dec 7, 2020
@bjorn3
Copy link
Member

bjorn3 commented Dec 7, 2020

@bors retry rollup=always

@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 Dec 7, 2020
@bors
Copy link
Contributor

bors commented Dec 8, 2020

⌛ Testing commit 2ee34a0 with merge d4aea0b...

@bors
Copy link
Contributor

bors commented Dec 8, 2020

☀️ Test successful - checks-actions
Approved by: GuillaumeGomez
Pushing d4aea0b to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 8, 2020
@bors bors merged commit d4aea0b into rust-lang:master Dec 8, 2020
@rustbot rustbot added this to the 1.50.0 milestone Dec 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@GuillaumeGomez GuillaumeGomez GuillaumeGomez approved these changes

Assignees

@GuillaumeGomez GuillaumeGomez

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. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.50.0
Development

Successfully merging this pull request may close these issues.
6 participants
@camelid @rust-highfive @GuillaumeGomez @bors @bjorn3 @rustbot