Commit Graph

2 Commits (801679bccf14caefc3607c2d1b4def8a493b6dc7)

Author SHA1 Message Date
grdddj 3d505874aa feat(ci): create pyright tool and include it in CI
3 years ago
grdddj 9fc5bb546b style(core): full pyright-based type-checking
3 years ago