-
Richard van der Hoff authored
In particular, add type hints for get_success and friends, which are then helpful in a bunch of places.
Richard van der Hoff authoredIn particular, add type hints for get_success and friends, which are then helpful in a bunch of places.
mypy.ini 7.99 KiB