Simplify some GitHub workflows (#268) #798
typecheck.yml
on: push
Check code with mypy
18s
Run pyright on the codebase
20s
Create an issue if daily typecheck failed
0s