-
Notifications
You must be signed in to change notification settings - Fork 3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Issues with linting CI #80
Comments
roms-tools looks good, so lets just copy the configuration from there. |
There is now a separate CI section for pre-commit! (somewhere in the PR line). Also we found out this week roms-tools isn't using mypy, so C-Star linting is stricter. |
Strike that, it's already in. In that case I'm not sure I understand the issue. |
In #71 (comment) I pulled down your PR branch, which was passing all green in the CI. I immediately ran |
I want it to look more like this, with an explicit extra CI job just for pre-commit (and ideally another one for mypy) |
#81 is an example of what I'm talking about - the CI makes it look like tests are failing, when it's actually just a mypy error (much less of a big deal). |
That is annoying. Let me issue a quick PR that separates out the pre-commit stuff from the tests. |
The text was updated successfully, but these errors were encountered: