add linting feature to GitHub Actions menu under Code Quality feature

[fdiblen]

In #568 we made linting optional. The linter GitHub Action should be added to GitHub Actions menu under Code Quality features.

[fdiblen]

fixed by #568