Skip to content

api: small touchups#280

Merged
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:api-touchups
Jan 14, 2026
Merged

api: small touchups#280
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:api-touchups

Conversation

@tcoratger
Copy link
Collaborator

🗒️ Description

@ch4r10t33r What do you think about this one? Just made couple of simplifications for consistency with the rest of the repo in terms of notations and coding style.

🔗 Related Issues or PRs

Small followup on #279

✅ 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.

Copy link
Contributor

@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 tcoratger merged commit b4e7107 into leanEthereum:main Jan 14, 2026
10 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