Browse Source
This allows Pyright to actually catch these errors, which would be useful for CI purposes in the future.pull/7831/head
3 changed files with 8 additions and 3 deletions
Loading…
Reference in new issue