Skip to content

Conversation

@unnawut
Copy link
Collaborator

@unnawut unnawut commented Feb 2, 2026

🗒️ Description

  1. Allow a couple of test and lint commands that we expect the machine (and humans too) to run many many times while coding this repo
  2. Gitignore settings.local.json since this file is user-specific

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

@unnawut unnawut requested a review from tcoratger February 2, 2026 09:24
@unnawut unnawut added framework Scope: Changes to the testing framework chore Category: chore labels Feb 2, 2026
@unnawut unnawut merged commit 0f72862 into leanEthereum:main Feb 2, 2026
10 checks passed
@unnawut unnawut deleted the claude-allow branch February 2, 2026 10:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Category: chore framework Scope: Changes to the testing framework

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant