Commit Graph

3 Commits (3594de8c7f4333bd7b9e6d9fd11e28dc8c7505b1)

Author SHA1 Message Date
matejcik 61718aff49 feat(tools): make pyright_tool more user-friendly
3 years ago
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