You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
runner.docker: Appease mypy and avoid redefining the type of "limits"
Mypy really doesn't like redefinitions¹, and we start with List[str] but
then convert to List[int]. The limited support for redefinition
(--allow-redefinition) doesn't apply here because two different code
blocks are involved.
This particular shift of code into the try block doesn't impact the
handling of exceptions.
¹ python/mypy#1174
0 commit comments