Is your feature request related to a problem?
While GitHub actions exist for linting and formatting checks with Ruff, none exist for type checking. This allows PRs with typing errors to be merged upstream.
Describe the solution you'd like
Some sort of type checking GitHub action should be added to the repo.
Is your feature request related to a problem?
While GitHub actions exist for linting and formatting checks with Ruff, none exist for type checking. This allows PRs with typing errors to be merged upstream.
Describe the solution you'd like
Some sort of type checking GitHub action should be added to the repo.