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.

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

reduce search-index size #51599

Merged
merged 1 commit into from
Jul 5, 2018
Merged

Conversation

GuillaumeGomez
Copy link
Member

Reduce size of search-index.js of around 16%:

Going from 2996785 bytes to 2545583.

r? @QuietMisdreavus

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 16, 2018
@GuillaumeGomez
Copy link
Member Author

cc @onur (should make you happy 😄)

@bors
Copy link
Contributor

bors commented Jun 21, 2018

☔ The latest upstream changes (presumably #50698) made this pull request unmergeable. Please resolve the merge conflicts.

@pietroalbini
Copy link
Member

Ping from triage @QuietMisdreavus! This PR needs your review.

@bors
Copy link
Contributor

bors commented Jun 26, 2018

☔ The latest upstream changes (presumably #51805) made this pull request unmergeable. Please resolve the merge conflicts.

@QuietMisdreavus
Copy link
Member

Sorry for the delay; looks good to me!

@bors r+

@bors
Copy link
Contributor

bors commented Jul 5, 2018

📌 Commit 115df57 has been approved by QuietMisdreavus

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

bors commented Jul 5, 2018

⌛ Testing commit 115df57 with merge 478226c...

bors added a commit that referenced this pull request Jul 5, 2018
…dreavus

reduce search-index size

Reduce size of `search-index.js` of around 16%:

Going from `2996785` bytes to `2545583`.

r? @QuietMisdreavus
@bors
Copy link
Contributor

bors commented Jul 5, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: QuietMisdreavus
Pushing 478226c to master...

@bors bors merged commit 115df57 into rust-lang:master Jul 5, 2018
@GuillaumeGomez GuillaumeGomez deleted the reduce-search-index branch July 5, 2018 20:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: 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.

5 participants