Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Pin
mypy
to 1.11.2, avoiding updates that break CI (for now)
Separately, I have started a `mypy-1.12` branch to work on the broken things. Meanwhile, though, we'd very much like for CI to keep working.
- Loading branch information