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

Add a command line flag to print some query stats #57118

Merged
merged 1 commit into from
Dec 28, 2018
Merged

Add a command line flag to print some query stats #57118

merged 1 commit into from
Dec 28, 2018

Conversation

Zoxc
Copy link
Contributor

@Zoxc Zoxc commented Dec 25, 2018

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 25, 2018
@Zoxc
Copy link
Contributor Author

Zoxc commented Dec 28, 2018

cc @wesleywiser

wesleywiser
wesleywiser approved these changes Dec 28, 2018
View reviewed changes
Copy link
Member

@wesleywiser wesleywiser left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@wesleywiser
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Dec 28, 2018

📌 Commit 0257c5a has been approved by wesleywiser

@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 28, 2018
@bors
Copy link
Contributor

bors commented Dec 28, 2018

⌛ Testing commit 0257c5a with merge 60e8253...

bors added a commit that referenced this pull request Dec 28, 2018
@bors
Auto merge of #57118 - Zoxc:query-stats, r=wesleywiser
60e8253 
Add a command line flag to print some query stats

r? @michaelwoerister
@bors
Copy link
Contributor

bors commented Dec 28, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: wesleywiser
Pushing 60e8253 to master...

@bors bors merged commit 0257c5a into rust-lang:master Dec 28, 2018
@Zoxc Zoxc deleted the query-stats branch December 29, 2018 12:01
@petrochenkov petrochenkov mentioned this pull request Oct 11, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wesleywiser wesleywiser wesleywiser approved these changes

Assignees

@michaelwoerister michaelwoerister

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@Zoxc @wesleywiser @bors @michaelwoerister @rust-highfive