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

Do not read manifest if information from manifest is not required #73

Merged
merged 1 commit into from
Oct 19, 2020

Conversation

taiki-e
Copy link
Owner

@taiki-e taiki-e commented Oct 19, 2020

Very few options require information from Cargo manifest, so it can improve performance by avoiding reading and parsing them in many cases.

@taiki-e taiki-e added the C-enhancement Category: A new feature or an improvement for an existing one label Oct 19, 2020
@taiki-e taiki-e added this to the v0.4 milestone Oct 19, 2020
Very few options require information from Cargo manifest, so it can
improve performance by avoiding reading and parsing them in many cases.
@taiki-e
Copy link
Owner Author

taiki-e commented Oct 19, 2020

bors r+

@bors
Copy link
Contributor

bors bot commented Oct 19, 2020

Build succeeded:

@bors bors bot merged commit 71ed8b2 into master Oct 19, 2020
@bors bors bot deleted the manifest branch October 19, 2020 01:26
@taiki-e taiki-e removed the C-enhancement Category: A new feature or an improvement for an existing one label Jan 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant