Commit Graph

4 Commits (8ec9545b8985ae2749fd923aab3d380ed6b8b24d)

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