Skip to content

🔨 use mypy 1.15.0 (for the time being)#80

Merged
jorenham merged 2 commits intomainfrom
mypy-1.15.0
Feb 5, 2025
Merged

🔨 use mypy 1.15.0 (for the time being)#80
jorenham merged 2 commits intomainfrom
mypy-1.15.0

Commits

Commits on Feb 5, 2025