chore(deps-dev): update mypy requirement from 1.12.0 to 1.13.0#730
Merged
jkowalleck merged 1 commit intomainfrom Oct 27, 2024
Merged
chore(deps-dev): update mypy requirement from 1.12.0 to 1.13.0#730jkowalleck merged 1 commit intomainfrom
jkowalleck merged 1 commit intomainfrom
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}