Skip to content

Configure mypy to respect gitignore - #3141

Merged
adamtheturtle merged 1 commit into
mainfrom
agent/use-exclude-gitignore-for-mypy
Aug 12, 2026
Merged

Configure mypy to respect gitignore#3141
adamtheturtle merged 1 commit into
mainfrom
agent/use-exclude-gitignore-for-mypy