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

chore(executor): set plain_statistics to false for spill time profiling statistics #15555

Merged
merged 1 commit into from
May 16, 2024

Conversation

zhang2014
Copy link
Member

@zhang2014 zhang2014 commented May 16, 2024

I hereby agree to the terms of the CLA available at: https://docs.databend.com/dev/policies/cla/

Summary

chore(executor): set plain_statistics to false for spill time profiling statistics

  • Fixes #[Link the issue here]

Tests

  • Unit Test
  • Logic Test
  • Benchmark Test
  • No Test - chore update

Type of change

  • Bug Fix (non-breaking change which fixes an issue)
  • New Feature (non-breaking change which adds functionality)
  • Breaking Change (fix or feature that could cause existing functionality not to work as expected)
  • Documentation Update
  • Refactoring
  • Performance Improvement
  • Other (please describe): chore update

This change is Reviewable

@zhang2014 zhang2014 requested a review from BohuTANG May 16, 2024 14:22
@github-actions github-actions bot added the pr-chore this PR only has small changes that no need to record, like coding styles. label May 16, 2024
@zhang2014 zhang2014 added this pull request to the merge queue May 16, 2024
Merged via the queue into databendlabs:main with commit c4d8b00 May 16, 2024
78 checks passed
@zhang2014 zhang2014 deleted the chore/update_profiling_meta branch May 16, 2024 15:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-chore this PR only has small changes that no need to record, like coding styles.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants