Skip to content

chore: update to mypy 1.16.0 and resolve issues found#3215

Merged
nejch merged 1 commit intomainfrom
jlvillal/mypy
Jun 10, 2025
Merged

chore: update to mypy 1.16.0 and resolve issues found#3215
nejch merged 1 commit intomainfrom
jlvillal/mypy

Commits

Commits on Jun 9, 2025