Commit Graph

4 Commits (936c84bac6a35f8ab34db32582eee7cb4f528770)

Author SHA1 Message Date
grdddj 9fc5bb546b style(core): full pyright-based type-checking
3 years ago
Pavol Rusnak 0036686588 style(core/mocks): use new syntax for typing
4 years ago
Jan Pochyla 0f6f05e4b7 core/typing: fix extmod docs and mocks
5 years ago
Jan Pochyla 3af75c0b8b core/typing: improve extmod types
5 years ago