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

chore(query): add monotonicity function property #17469

Merged
merged 4 commits into from
Feb 17, 2025
Merged

chore(query): add monotonicity function property #17469

merged 4 commits into from
Feb 17, 2025

Conversation

sundy-li
Copy link
Member

@sundy-li sundy-li commented Feb 17, 2025 •
edited
Loading

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

Summary

chore(query): add monotonicity function property

part of #13408

Tests

  • Unit Test
  • Logic Test
  • Benchmark Test
  • No Test - Explain why

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):

This change is Reviewable

@sundy-li sundy-li requested review from b41sh and zhyass February 17, 2025 06:49
@github-actions github-actions bot added the pr-chore this PR only has small changes that no need to record, like coding styles. label Feb 17, 2025
@sundy-li sundy-li requested a review from forsaken628 February 17, 2025 06:59
@sundy-li sundy-li merged commit b5cd7f2 into databendlabs:main Feb 17, 2025
70 checks passed
@sundy-li sundy-li deleted the is_monotonicity branch February 17, 2025 15:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@b41sh b41sh b41sh approved these changes

@zhyass zhyass Awaiting requested review from zhyass

@forsaken628 forsaken628 Awaiting requested review from forsaken628

Assignees
No one assigned
Labels
pr-chore this PR only has small changes that no need to record, like coding styles.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@sundy-li @b41sh