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

support protobuf build by default #264

Merged
merged 7 commits into from
Jul 19, 2019
Merged

support protobuf build by default #264

merged 7 commits into from
Jul 19, 2019

Commits on Jul 18, 2019

  1. support protobuf build by default 

    And support prost optionally
    @BusyJay
    BusyJay committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    f3391d0 View commit details
    Browse the repository at this point in the history

  2. update protobuf-build

    @BusyJay
    BusyJay authored Jul 18, 2019
    Configuration menu
    Copy the full SHA
    edfc200 View commit details
    Browse the repository at this point in the history

  3. fix ci

    @BusyJay
    BusyJay committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    e20cbfd View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2019

  1. allow lint

    @BusyJay
    BusyJay committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    a826100 View commit details
    Browse the repository at this point in the history

  2. update hash

    @BusyJay
    BusyJay committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    127d42f View commit details
    Browse the repository at this point in the history

  3. update CI

    @BusyJay
    BusyJay committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    c9e699a View commit details
    Browse the repository at this point in the history

  4. fix ci

    @BusyJay
    BusyJay committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    9a1f476 View commit details
    Browse the repository at this point in the history