mypy
mypy copied to clipboard
Document `--output=json` CLI option
Documents the new option added by https://github.com/python/mypy/pull/11396.