Skip to content

Conversation

jketema
Copy link
Contributor

@jketema jketema commented Aug 25, 2025

No description provided.

@github-actions github-actions bot added the C++ label Aug 25, 2025
@jketema jketema added the depends on internal PR This PR should only be merged in sync with an internal Semmle PR label Aug 25, 2025
@jketema jketema marked this pull request as ready for review August 25, 2025 14:17
@jketema jketema requested a review from a team as a code owner August 25, 2025 14:17
@jketema jketema merged commit 7a3973b into github:main Aug 26, 2025
10 of 11 checks passed
@jketema jketema deleted the loc-cleanup branch August 26, 2025 07:55
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants