Skip to content

chore: fix ci#12

Merged
tcoratger merged 3 commits intoleanEthereum:mainfrom
tcoratger:ci-fix
Aug 20, 2025
Merged

chore: fix ci#12
tcoratger merged 3 commits intoleanEthereum:mainfrom
tcoratger:ci-fix

Conversation

@tcoratger
Copy link
Collaborator

No description provided.

@tcoratger tcoratger merged commit 72a3ece into leanEthereum:main Aug 20, 2025
6 checks passed
@unnawut unnawut added tooling Scope: Changes to workspace / project tooling e.g. tox, mypy, ruff, uv, mkdocs chore Category: chore labels Oct 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Category: chore tooling Scope: Changes to workspace / project tooling e.g. tox, mypy, ruff, uv, mkdocs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants