Skip to content

.NET: Suppress CodeQL false positive#4948

Open
westey-m wants to merge 1 commit intomicrosoft:mainfrom
westey-m:supress-codeql-false-positive
Open

.NET: Suppress CodeQL false positive#4948
westey-m wants to merge 1 commit intomicrosoft:mainfrom
westey-m:supress-codeql-false-positive

Conversation

@westey-m
Copy link
Copy Markdown
Contributor

Motivation and Context

Description

Suppress false positive CodeQL issue.

Contribution Checklist

  • The code builds clean without any errors or warnings
  • The PR follows the Contribution Guidelines
  • All unit tests pass, and I have added new tests where possible
  • Is this a breaking change? If yes, add "[BREAKING]" prefix to the title of the PR.

Copilot AI review requested due to automatic review settings March 27, 2026 10:36
@github-actions github-actions bot changed the title Suppress CodeQL false positive .NET: Suppress CodeQL false positive Mar 27, 2026
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 aims to suppress a reported CodeQL false positive in the .NET ChatClientAgent logging path.

Changes:

  • Adds an inline CodeQL suppression comment on a warning log call that includes the agent name.

@westey-m westey-m added this pull request to the merge queue Mar 27, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 27, 2026
@westey-m westey-m added this pull request to the merge queue Mar 27, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 27, 2026
@westey-m westey-m added this pull request to the merge queue Mar 27, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 27, 2026
@westey-m westey-m added this pull request to the merge queue Mar 27, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 27, 2026
@westey-m westey-m added this pull request to the merge queue Mar 27, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 27, 2026
@westey-m westey-m added this pull request to the merge queue Mar 27, 2026
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 27, 2026
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.

5 participants