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

Add collect statistics configuration #3847

Closed
Dandandan opened this issue Oct 15, 2022 · 1 comment · Fixed by #3846
Closed

Add collect statistics configuration #3847

Dandandan opened this issue Oct 15, 2022 · 1 comment · Fixed by #3846
Labels
enhancement New feature or request

Comments

@Dandandan
Copy link
Contributor

Is your feature request related to a problem or challenge? Please describe what you are trying to do.
Currently, the collection of statistics is off by default. This means that any statistics-based optimization will not do anything.

Describe the solution you'd like
Introduce a setting for the collection of statistics, so it can be enabled by the user/consumer.

Describe alternatives you've considered

Additional context

@Dandandan Dandandan added the enhancement New feature or request label Oct 15, 2022
@isidentical
Copy link
Contributor

Hit the same thing on #3774 too 😄

@Dandandan Dandandan changed the title Add Add collect statistics configuration Oct 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants