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

Fix Slashing Metrics #5893

Merged
merged 2 commits into from May 18, 2020
Merged

Fix Slashing Metrics #5893

merged 2 commits into from May 18, 2020

Conversation

nisdas
Copy link
Member

@nisdas nisdas commented May 18, 2020

What type of PR is this?

Bug Fix

What does this PR do? Why is it needed?

It adds in slashing metrics so that we get the accurate amount of pending slashings
in our operations pool.

Which issues(s) does this PR fix?

N.A

Other notes for review

@nisdas nisdas requested a review from a team as a code owner May 18, 2020 07:25
@nisdas nisdas added the Ready For Review A pull request ready for code review label May 18, 2020
@nisdas nisdas merged commit e16f384 into master May 18, 2020
@delete-merged-branch delete-merged-branch bot deleted the fixSlashingMetrics branch May 18, 2020 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Ready For Review A pull request ready for code review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants