PR #3095 Update mypy to 1.15.0 (current latest)

Update mypy to 1.15.0 (current latest) #3095

Wauplin merged 4 commits into main from update-mypy

Update mypy to 1.15.0 (current latest)

5b1fc012

fix

380d40fd

fix

80f2820e

Wauplin requested a review from

hanouticelina 279 days ago

no need of these rules

7560526a

hanouticelina approved these changes on 2025-05-21

Wauplin merged 5c3efe3f into main 278 days ago

Wauplin deleted the update-mypy branch 278 days ago

Reviewers

hanouticelina

Assignees

No one assigned

Labels

None yet

Milestone

No milestone