Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Support metrics #307

Closed
TheR1sing3un opened this issue Jul 22, 2023 · 0 comments · Fixed by #308
Closed

Support metrics #307

TheR1sing3un opened this issue Jul 22, 2023 · 0 comments · Fixed by #308

Comments

@TheR1sing3un
Copy link
Contributor

  1. Support metrics
@TheR1sing3un TheR1sing3un mentioned this issue Jul 22, 2023
Merged
RongtongJin pushed a commit that referenced this issue Jul 25, 2023
@TheR1sing3un
[ISSUE #307] Support metrics (#308)
cfd4191 
* feat(core): add metrics manager

1. add metrics manager

* feat(core): record metrics

1. record metrics

* fix(core): avoid NPE

1. avoid NPE

* style(core): fix checkstyle

1. fix checkstyle

* feat(core): optimize metrics name

1. optimize metrics name

* rerun

* rerun
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[ISSUE #307] Support metrics TheR1sing3un/dledger
1 participant
@TheR1sing3un