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.

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

chore(metrics): split read metrics #3194

Merged
merged 1 commit into from
Jun 14, 2022
Merged

chore(metrics): split read metrics #3194

merged 1 commit into from
Jun 14, 2022

Conversation

skyzh
Copy link
Contributor

@skyzh skyzh commented Jun 14, 2022

Signed-off-by: Alex Chi iskyzh@gmail.com

What's changed and what's your intention?

As title

Checklist

  • I have written necessary docs and comments
  • I have added necessary unit tests and integration tests
  • All checks passed in ./risedev check (or alias, ./risedev c)

Refer to a related PR or issue link (optional)

Signed-off-by: Alex Chi <iskyzh@gmail.com>
@skyzh skyzh marked this pull request as ready for review June 14, 2022 04:15
@skyzh skyzh requested a review from hzxa21 June 14, 2022 04:15
@skyzh skyzh enabled auto-merge (squash) June 14, 2022 04:17
@codecov
Copy link

codecov bot commented Jun 14, 2022

Codecov Report

Merging #3194 (43f2a75) into main (921fc59) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #3194   +/-   ##
=======================================
  Coverage   73.58%   73.58%           
=======================================
  Files         744      744           
  Lines      102198   102198           
=======================================
  Hits        75200    75200           
  Misses      26998    26998           
Flag Coverage Δ
rust 73.58% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@skyzh skyzh merged commit 90725ef into main Jun 14, 2022
@skyzh skyzh deleted the skyzh/refine-metrics-read branch June 14, 2022 04:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants