core: add some very basic metrics #289

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.

Sign up for GitHub

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

Jump to bottom

Open

tcoratger wants to merge 2 commits into leanEthereum:main from tcoratger:metrics

Collaborator

tcoratger commented Jan 15, 2026

🗒️ Description

Just a placeholder for now, we need to revamp this once we know exactly what metrics we want and where. Super simple for now.

🔗 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 added 2 commits

January 16, 2026 00:21


          core: add some very basic metrics

648d11e


          fix tests

48f4040

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet