Use --additional-flags='check-untyped-defs' when running mypy_primer#9433
Merged
JelleZijlstra merged 1 commit intomainfrom Dec 31, 2022
Merged
Use --additional-flags='check-untyped-defs' when running mypy_primer#9433JelleZijlstra merged 1 commit intomainfrom
--additional-flags='check-untyped-defs' when running mypy_primer#9433JelleZijlstra merged 1 commit intomainfrom