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

*: add a blacklist to disallow pushing down specific expressions (#10688) #10791

Merged
merged 6 commits into from
Jun 19, 2019
Merged

*: add a blacklist to disallow pushing down specific expressions (#10688) #10791

merged 6 commits into from
Jun 19, 2019

Commits on Jun 13, 2019

  1. *: add a blacklist to disallow pushing down specific expressions (pin… 

    …gcap#10688)
    @XuHuaiyu
    XuHuaiyu committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    e7e76eb View commit details
    Browse the repository at this point in the history

  2. refine

    @XuHuaiyu
    XuHuaiyu committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    886842e View commit details
    Browse the repository at this point in the history

  3. fix ci

    @XuHuaiyu
    XuHuaiyu committed Jun 13, 2019
    Configuration menu
    Copy the full SHA
    68fe08d View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2019

  1. Merge branch 'release-3.0' into release-3.0

    @zz-jason
    zz-jason authored Jun 19, 2019
    Configuration menu
    Copy the full SHA
    b4de87f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'release-3.0' into release-3.0

    @XuHuaiyu
    XuHuaiyu authored Jun 19, 2019
    Configuration menu
    Copy the full SHA
    a771190 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'release-3.0' into release-3.0

    @zz-jason
    zz-jason authored Jun 19, 2019
    Configuration menu
    Copy the full SHA
    4e70cb8 View commit details
    Browse the repository at this point in the history