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

fix partition pruning #1385

Merged
merged 1 commit into from
Feb 21, 2020
Merged

fix partition pruning #1385

merged 1 commit into from
Feb 21, 2020

Conversation

birdstorm
Copy link
Contributor

What problem does this PR solve?

Fix partition pruning when partition definition contains biginteger.

Check List

Tests

  • Integration test

Related changes

  • Need to cherry-pick to the release branch
  • Need to update the documentation
  • Need to update the tidb-ansible repository
  • Need to be included in the release note

@birdstorm birdstorm added needs-cherry-pick-2.2 needs-cherry-pick-master PR which needs to be cherry-picked to master labels Feb 21, 2020
marsishandsome
marsishandsome approved these changes Feb 21, 2020
View reviewed changes
Copy link
Collaborator

@marsishandsome marsishandsome left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@birdstorm
Copy link
Contributor Author

/run-all-tests mode=full

@birdstorm
Copy link
Contributor Author

/run-all-tests pd=v3.0.9 tikv=v3.0.9 tidb=v3.0.9 mode=full

@birdstorm birdstorm merged commit ac25301 into release-2.1 Feb 21, 2020
@birdstorm birdstorm deleted the fix-partition-pruning branch February 21, 2020 14:33
@sre-bot
Copy link
Contributor

sre-bot commented Feb 21, 2020

cherry pick to release-2.2 failed

@sre-bot
Copy link
Contributor

sre-bot commented Feb 21, 2020

cherry pick to master failed

birdstorm added a commit that referenced this pull request Feb 24, 2020
@birdstorm
Fix partition pruning when partition definition contains big integer (#…
7426585 
…1385)
@birdstorm birdstorm mentioned this pull request Feb 24, 2020
Merged
birdstorm added a commit that referenced this pull request Feb 24, 2020
@birdstorm
Fix partition pruning when partition definition contains big integer (#…
661487d 
…1385)
@birdstorm birdstorm mentioned this pull request Feb 24, 2020
Merged
birdstorm added a commit that referenced this pull request Feb 25, 2020
@birdstorm
Fix partition pruning when partition definition contains big integer (#…
e5701e9 
…1385) (#1386)
birdstorm added a commit that referenced this pull request Mar 2, 2020
@birdstorm
Fix partition pruning when partition definition contains big integer (#…
6a7925e 
…1385) (#1387)
wfxxh pushed a commit to wanfangdata/tispark that referenced this pull request Jun 30, 2023
@birdstorm
Fix partition pruning when partition definition contains big integer (p…
3523f97 
…ingcap#1385) (pingcap#1386)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@marsishandsome marsishandsome marsishandsome approved these changes

Assignees
No one assigned
Labels
needs-cherry-pick-master PR which needs to be cherry-picked to master
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@birdstorm @sre-bot @marsishandsome