Skip to content

Rename some cop metrics#433

Merged
zanmato1984 merged 2 commits intomasterfrom
cop-metrics
Feb 12, 2020
Merged

Rename some cop metrics#433
zanmato1984 merged 2 commits intomasterfrom
cop-metrics

Conversation

@zanmato1984
Copy link
Contributor

No description provided.

Copy link
Contributor

@marsishandsome marsishandsome left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@zanmato1984
Copy link
Contributor Author

/run-integration-tests

1 similar comment
@zanmato1984
Copy link
Contributor Author

/run-integration-tests

@zanmato1984
Copy link
Contributor Author

/run-integration-tests

@zanmato1984 zanmato1984 merged commit 91c4bbb into master Feb 12, 2020
@zanmato1984 zanmato1984 deleted the cop-metrics branch February 12, 2020 12:48
zanmato1984 added a commit that referenced this pull request Feb 12, 2020
zanmato1984 added a commit that referenced this pull request Feb 13, 2020
yongman added a commit to yongman/tiflash that referenced this pull request Jun 18, 2025
Signed-off-by: yongman <yming0221@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants