Simplify some GitHub workflows #797
typecheck.yml
on: pull_request
Check code with mypy
16s
Run pyright on the codebase
26s
Create an issue if daily typecheck failed
0s