Skip to content

Rust: Use the new 'quality' tag.#19455

Merged
geoffw0 merged 2 commits intogithub:mainfrom
geoffw0:quality
May 12, 2025
Merged

Rust: Use the new 'quality' tag.#19455
geoffw0 merged 2 commits intogithub:mainfrom
geoffw0:quality

Conversation

@geoffw0
Copy link
Copy Markdown
Contributor

@geoffw0 geoffw0 commented May 2, 2025

Use the new 'quality' tag in Rust queries.

@tamasvajk are these the sorts of queries we want this tag on? Our other Rust queries for the time being are very much security focussed.

Copilot AI review requested due to automatic review settings May 2, 2025 16:34
@geoffw0 geoffw0 added the Rust Pull requests that update Rust code label May 2, 2025
@geoffw0 geoffw0 requested a review from a team as a code owner May 2, 2025 16:34
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR updates Rust QL queries to include the new quality classification tag.

  • Adds quality tag to three unused-entities and dead-code queries.
  • Ensures consistency in query metadata across Rust QL rules.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
rust/ql/src/queries/unusedentities/UnusedVariable.ql Added quality tag line
rust/ql/src/queries/unusedentities/UnusedValue.ql Added quality tag line
rust/ql/src/queries/unusedentities/UnreachableCode.ql Added quality tag line

Comment thread rust/ql/src/queries/unusedentities/UnusedVariable.ql
Comment thread rust/ql/src/queries/unusedentities/UnusedValue.ql
Comment thread rust/ql/src/queries/unusedentities/UnreachableCode.ql
Copy link
Copy Markdown
Contributor

@paldepind paldepind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Definitely seems like quality queries 👍

@geoffw0
Copy link
Copy Markdown
Contributor Author

geoffw0 commented May 12, 2025

Lets get this merged then...

@geoffw0 geoffw0 merged commit a69a561 into github:main May 12, 2025
16 checks passed
@geoffw0 geoffw0 deleted the quality branch April 15, 2026 11:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants