⬆️ Update dependency mypy to v1.13.0

[renovate[bot]]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
mypy (source, changelog)	1.12.1 -> 1.13.0

---

Release Notes

python/mypy (mypy)

### [`v1.13.0`](https://redirect.github.com/python/mypy/compare/v1.12.1...v1.13.0) [Compare Source](https://redirect.github.com/python/mypy/compare/v1.12.1...v1.13.0)

---

Configuration

📅 Schedule: Branch creation - "before 2am" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• [ ] If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 100.00%. Comparing base (3a4267c) to head (5b4dc75).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #414 +/- ## ========================================= Coverage 100.00% 100.00% ========================================= Files 7 7 Lines 762 762 Branches 50 50 ========================================= Hits 762 762 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[sonarcloud[bot]]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud