Skip to content

Conversation

jketema
Copy link
Contributor

@jketema jketema commented Jul 1, 2025

See internal PR for details.

@github-actions github-actions bot added the C++ label Jul 1, 2025
@jketema jketema added depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note labels Jul 1, 2025
@jketema jketema marked this pull request as ready for review July 1, 2025 08:56
@Copilot Copilot AI review requested due to automatic review settings July 1, 2025 08:56
@jketema jketema requested a review from a team as a code owner July 1, 2025 08:56
Copy link
Contributor

@Copilot 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.

Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.

Copy link
Contributor

@IdrissRio IdrissRio left a comment

Choose a reason for hiding this comment

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

LGTM 👍

@jketema jketema merged commit 7c2fd28 into github:main Jul 1, 2025
23 checks passed
@jketema jketema deleted the external branch July 1, 2025 14:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C++ depends on internal PR This PR should only be merged in sync with an internal Semmle PR no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants