Skip to content

metrics: avoid useless conversions#467

Merged
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:metrics-conversions
Mar 21, 2026
Merged

metrics: avoid useless conversions#467
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:metrics-conversions

Conversation

@tcoratger
Copy link
Collaborator

🗒️ Description

@ch4r10t33r I don't think that we need the conversion stuffs here, what do you think?

🔗 Related Issues or PRs

✅ Checklist

  • Ran tox checks to avoid unnecessary CI fails:
    uvx tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

@tcoratger tcoratger requested a review from ch4r10t33r March 21, 2026 23:08
Copy link
Collaborator

@ch4r10t33r ch4r10t33r left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@tcoratger tcoratger merged commit 271e591 into leanEthereum:main Mar 21, 2026
12 checks passed
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