build(deps): bump mypy from 1.12.1 to 1.13.0 in /book/src#723

github-actions[bot] merged 1 commit intomainrmariano/Clean-code-in-Python:mainfrom

dependabot/pip/book/src/main/mypy-1.13.0rmariano/Clean-code-in-Python:dependabot/pip/book/src/main/mypy-1.13.0Copy head branch name to clipboard