Pull request CI is currently broken

[offbyone]

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

[brunns]

Possibly actions/setup-python#244 also.

[brunns]

Fixed in #199?

[offbyone]

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