Skip to content

Conversation

@Magnus-Kuhn
Copy link
Contributor

Readiness checklist

  • I added/updated tests.
  • I ensured that the PR title is good enough for the changelog.
  • I labeled the PR.
  • I self-reviewed the PR.

@Magnus-Kuhn Magnus-Kuhn added bug Something isn't working ci Continuous Integration related stuff labels Jan 12, 2026
@Magnus-Kuhn Magnus-Kuhn merged commit 8b1afb9 into main Jan 12, 2026
15 checks passed
@Magnus-Kuhn Magnus-Kuhn deleted the reduce-diff-logging branch January 12, 2026 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working ci Continuous Integration related stuff

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants