Repository navigation

mypy

Document the commands provided by `Platforms/WASI/main.py` (GH-15… #24229

Job	Run time
Run mypy on Tools/build	19s
Run mypy on Tools/jit	20s
Run mypy on Lib/_pyrepl	21s
Run mypy on Lib/test/libregrtest	19s
Run mypy on Tools/peg_generator	22s
Run mypy on Tools/check-c-api-docs	18s
Run mypy on Tools/clinic	22s
Run mypy on Tools/cases_generator	20s
Run mypy on Lib/tomllib	17s
	2m 58s