Jordan Rose 773530ecd1 Add type annotations to all our Python scripts ...

The main benefit of this is not our *own* type-checking; it's that
mypy will error out if you try to use a too-new Python API. And in
fact, we were already relying on Python 3.9 and didn't realize.

check_code_size.py works with JSON, so it still uses Any a fair bit.

2024-07-09 17:01:10 -07:00

3.8 KiB

Executable File

Raw Blame History

View Raw