Skip to content

Remove CodeQL 'quality' linting#1843

Merged
rerpha merged 1 commit into
masterfrom
disable_codeql_lint
May 8, 2026
Merged

Remove CodeQL 'quality' linting#1843
rerpha merged 1 commit into
masterfrom
disable_codeql_lint

Conversation

@Tom-Willemsen
Copy link
Copy Markdown
Member

In #1781 we turned on CodeQL "quality" linting as an experiment, alongside the existing checkstyle checks.

The java linting by CodeQL is not proving to be particularly useful; the "quality" lints are covered by checkstyle anyway.

Leave the CodeQL security linting in place ("default" codeql group) but turn off "code quality" linting.

Remove security-and-quality queries from CodeQL init step.
@Tom-Willemsen Tom-Willemsen requested a review from rerpha May 7, 2026 21:38
@rerpha rerpha merged commit 398acf0 into master May 8, 2026
8 checks passed
@rerpha rerpha deleted the disable_codeql_lint branch May 8, 2026 06:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants