Skip to content

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

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

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

🐴 work around new `mypy` 1.15.0 bugs

9d701f0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs