Skip to content

Respect disabled logging instrumentation#753

Merged
pmcollins merged 1 commit into
mainfrom
fix/logging-disabled-instrumentation
Jun 2, 2026
Merged

Respect disabled logging instrumentation#753
pmcollins merged 1 commit into
mainfrom
fix/logging-disabled-instrumentation

Conversation

@pmcollins
Copy link
Copy Markdown
Contributor

No description provided.

@pmcollins pmcollins marked this pull request as ready for review May 29, 2026 18:59
@pmcollins pmcollins requested review from a team as code owners May 29, 2026 18:59
@shuwpan
Copy link
Copy Markdown

shuwpan commented May 29, 2026

oh, btw, Pablo, are you to rerun the scan for each PR (not sure how the token consumption will be) ? or plan to run a big one after all fixes landed ?

@pmcollins
Copy link
Copy Markdown
Contributor Author

It seems to run automatically, but you can pause it.

@pmcollins pmcollins merged commit 4aacabb into main Jun 2, 2026
13 checks passed
@pmcollins pmcollins deleted the fix/logging-disabled-instrumentation branch June 2, 2026 18:54
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 2, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants