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

plan: fold true item in cnf predicator. #4897

Merged
merged 3 commits into from Oct 26, 2017

Conversation

Projects
5 participants
@hanfei1991
Member

hanfei1991 commented Oct 25, 2017

No description provided.

@hanfei1991 hanfei1991 added this to the 1.1 milestone Oct 25, 2017

@shenli

This comment has been minimized.

Show comment
Hide comment
@shenli

shenli Oct 25, 2017

Member

LGTM

Member

shenli commented Oct 25, 2017

LGTM

hanfei1991 and others added some commits Oct 25, 2017

@ngaut

This comment has been minimized.

Show comment
Hide comment
@ngaut

ngaut Oct 25, 2017

Member

/run-all-test

Member

ngaut commented Oct 25, 2017

/run-all-test

@zz-jason

LGTM

@winoros winoros merged commit 1cec7c7 into pingcap:master Oct 26, 2017

11 checks passed

ci/circleci Your tests passed on CircleCI!
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
jenkins-ci-tidb/build Jenkins job succeeded.
Details
jenkins-ci-tidb/common-test Jenkins job succeeded.
Details
jenkins-ci-tidb/integration-common-test Jenkins job succeeded.
Details
jenkins-ci-tidb/integration-compatibility-test Jenkins job succeeded.
Details
jenkins-ci-tidb/integration-ddl-test Jenkins job succeeded.
Details
jenkins-ci-tidb/mybatis-test Jenkins job succeeded.
Details
jenkins-ci-tidb/sqllogic-test Jenkins job succeeded.
Details
jenkins-ci-tidb/unit-test Jenkins job succeeded.
Details
license/cla Contributor License Agreement is signed.
Details

hanfei1991 added a commit to hanfei1991/tidb that referenced this pull request Oct 26, 2017

dbjoa added a commit to cloud-pi/tidb that referenced this pull request Oct 27, 2017

@hanfei1991 hanfei1991 referenced this pull request Oct 30, 2017

Merged

cherry pick a fix #4920

@hanfei1991 hanfei1991 added this to Others in Planner Oct 31, 2017

@hanfei1991 hanfei1991 deleted the hanfei1991:fold branch Nov 2, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment