You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The mypy checks are currently part of the same CI jobs that the test suite runs are. It would be better to have the mypy test be separate, so that it's easier to see if a PR only "failed" due to mypy rather than due to actual runtime test failures.
The mypy checks are currently part of the same CI jobs that the test suite runs are. It would be better to have the
mypy
test be separate, so that it's easier to see if a PR only "failed" due to mypy rather than due to actual runtime test failures.cc @norlandrhagen
The text was updated successfully, but these errors were encountered: