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

Avoid some unnecessary interning #60910

Merged
merged 3 commits into from
May 18, 2019
Merged

Avoid some unnecessary interning #60910

merged 3 commits into from
May 18, 2019

Conversation

nnethercote
Copy link
Contributor

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 17, 2019
@nnethercote nnethercote force-pushed the avoid-some-unnecessary-interning branch from 0a832e0 to 4ab5fe3 Compare May 17, 2019 10:11
@nnethercote
Copy link
Contributor Author

@bors try

@bors
Copy link
Contributor

bors commented May 17, 2019

⌛ Trying commit 4ab5fe3 with merge fbd5d5450861cda63eff71fbe1d9956625d553d1...

@bors
Copy link
Contributor

bors commented May 17, 2019

☀️ Try build successful - checks-travis
Build commit: fbd5d5450861cda63eff71fbe1d9956625d553d1

@nnethercote
Copy link
Contributor Author

@rust-timer build fbd5d5450861cda63eff71fbe1d9956625d553d1

@rust-timer
Copy link
Collaborator

Success: Queued fbd5d5450861cda63eff71fbe1d9956625d553d1 with parent c2e49bf, comparison URL.

@petrochenkov
Copy link
Contributor

@bors r+

@bors
Copy link
Contributor

bors commented May 17, 2019

📌 Commit 4ab5fe3 has been approved by petrochenkov

@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 May 17, 2019
@rust-timer
Copy link
Collaborator

Finished benchmarking try commit fbd5d5450861cda63eff71fbe1d9956625d553d1: comparison url

@bors
Copy link
Contributor

bors commented May 18, 2019

⌛ Testing commit 4ab5fe3 with merge 548add7...

bors added a commit that referenced this pull request May 18, 2019
@bors
Auto merge of #60910 - nnethercote:avoid-some-unnecessary-interning, …
548add7 
…r=petrochenkov

Avoid some unnecessary interning

r? @petrochenkov
@bors
Copy link
Contributor

bors commented May 18, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: petrochenkov
Pushing 548add7 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 18, 2019
@bors bors merged commit 4ab5fe3 into rust-lang:master May 18, 2019
@nnethercote nnethercote deleted the avoid-some-unnecessary-interning branch May 19, 2019 23:03
@nnethercote nnethercote mentioned this pull request May 29, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@petrochenkov petrochenkov

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.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@nnethercote @bors @rust-timer @petrochenkov @rust-highfive