Skip to content

chore: 🧑‍💻 recommend better reviewed mypy extension#99

Merged
lwjohnst86 merged 1 commit intomainfrom
chore/use-better-mypy-extension
Jul 3, 2025
Merged

chore: :technologist: recommend better reviewed mypy extension#99
lwjohnst86 merged 1 commit intomainfrom
chore/use-better-mypy-extension

Commits

Commits on Jul 3, 2025