Skip to content

Replace pyright with mypy#7

Merged
code-yeongyu merged 1 commit intomasterfrom
feature/pyright
Feb 21, 2023
Merged

Replace `pyright` with `mypy`#7
code-yeongyu merged 1 commit intomasterfrom
feature/pyright

Commits

Commits on Feb 21, 2023