Pull request CI is currently broken

Question

offbyone opened this issue 3 years ago · 3 comments

pre-commit CI is failing, for one. Possibly related to #194?

Answer 1 · 2022-03-03T13:04:48.000Z

Answer 2 · 2022-03-03T13:21:05.000Z

Fixed in #199?

Answer 3 · 2022-03-13T05:56:37.000Z

Partially. python/mypy#12339 is also involved, and python/mypy#12340 should fix it if merged + released.