Open DetachHead opened 1 week ago
the ci takes ages now. should see if there's a way to make them run sequentially, but that would involve merging them which sounds hard
According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅
fixes #428