Bump mypy from 1.18.2 to 1.19.1#10018

santicomp2014 merged 1 commit intomainhypothesis/h:mainfrom

dependabot/pip/mypy-1.19.1hypothesis/h:dependabot/pip/mypy-1.19.1Copy head branch name to clipboard