Compare commits

...
A pull request between these branches already exists: repos/website#114

Update dependency mypy to v1.10.0 #114