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

metrics: add index speed metric #12374

Merged
merged 5 commits into from
Sep 25, 2019
Merged

metrics: add index speed metric #12374

merged 5 commits into from
Sep 25, 2019

Commits on Sep 25, 2019

  1. ddl: add index speed metric

    @crazycs520
    crazycs520 committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    809c592 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into add-index-metric

    @bb7133
    bb7133 authored Sep 25, 2019
    Configuration menu
    Copy the full SHA
    03cd270 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into add-index-metric

    @sre-bot
    sre-bot authored Sep 25, 2019
    Configuration menu
    Copy the full SHA
    e01c47c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into add-index-metric

    @crazycs520
    crazycs520 authored Sep 25, 2019
    Configuration menu
    Copy the full SHA
    bcb0fcd View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into add-index-metric

    @crazycs520
    crazycs520 authored Sep 25, 2019
    Configuration menu
    Copy the full SHA
    c9df052 View commit details
    Browse the repository at this point in the history