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

planner: fix a corner case in column pruning rule (#10974) #11020

Merged
merged 2 commits into from Jul 2, 2019

Conversation

@bb7133
Copy link
Contributor

commented Jul 1, 2019

Cherry-pick #10974

@zz-jason
Copy link
Member

left a comment

LGTM

@eurekaka
Copy link
Contributor

left a comment

LGTM

@eurekaka

This comment has been minimized.

Copy link
Contributor

commented Jul 2, 2019

/run-all-tests tikv=release-3.0 pd=release-3.0

@bb7133

This comment has been minimized.

Copy link
Contributor Author

commented Jul 2, 2019

/run-unit-test

@mahjonp

This comment has been minimized.

Copy link

commented Jul 2, 2019

/rebuild

@ngaut ngaut merged commit 2e406b0 into pingcap:release-3.0 Jul 2, 2019

6 checks passed

ci/circleci Your tests passed on CircleCI!
Details
idc-jenkins-ci-tidb/build Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/build_check_race Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/check_dev Jenkins job succeeded.
Details
idc-jenkins-ci-tidb/check_dev_2 Jenkins job succeeded.
Details
license/cla Contributor License Agreement is signed.
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
5 participants
You can’t perform that action at this time.