Actions: DetachHead/basedpyright
Actions
807 workflow runs
807 workflow runs
strictGenericNarrowing
causing false positive reportUnnecessaryIsInstance
errors when narrowing Callable
Run mypy_primer on PR
#820:
Pull request #909
synchronize
by
DetachHead
strictGenericNarrowing
causing false positive reportUnnecessaryIsInstance
errors when narrowing Callable
Run mypy_primer on PR
#819:
Pull request #909
opened
by
DetachHead
Never
instead of NoReturn
when it's inferred as the return type of a function
Run mypy_primer on PR
#815:
Pull request #895
synchronize
by
DetachHead
Never
instead of NoReturn
when it's inferred as the return type of a function
Run mypy_primer on PR
#805:
Pull request #895
opened
by
peacewalker122