Type checking in workflows #170
Labels
developer
Developer environment: issues related to CI, git, etc.
enhancement
New feature or request
typing
Related to type annotations
Since we're going to the effort of adding type annotations to the code, it would make sense to enable type checking in the github workflows to avoid the accumulation of type errors or errors in these annotations.
The text was updated successfully, but these errors were encountered: