Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: enable extra linters for new code
This adds a new GHA CI job which runs a few extra linters. This is only done for pull requests, and should only warn about new code. The justification is simple: we want more linters, but since this is not a new project, adding a new linter meaning we have to fix all the existing warnings. In some cases having all the warnings fixed is difficult and takes time, plus it is usually a low priority task. Therefore, we are stuck with inability to add new linters because we can't fix all their warnings. Meanwhile, new pull requests add more code which is not linted. This is an attempt to break this vicious cycle. Let's enable godot and revive for now and see how it is going. Signed-off-by: Kir Kolyshkin <[email protected]>
- Loading branch information