Skip to content

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Dec 2, 2025

(cherry picked from commit c811833)

Co-authored-by: Jarek Potiuk jarek@potiuk.com

…rmatting (#58930)

(cherry picked from commit c811833)

Co-authored-by: Jarek Potiuk <jarek@potiuk.com>
@boring-cyborg boring-cyborg bot added area:dev-tools backport-to-v3-1-test Mark PR with this label to backport to v3-1-test branch labels Dec 2, 2025
@potiuk potiuk marked this pull request as ready for review December 2, 2025 17:34
@potiuk potiuk merged commit de76424 into v3-1-test Dec 2, 2025
5 checks passed
@potiuk potiuk deleted the backport-c811833-v3-1-test branch December 2, 2025 17:34
ephraimbuddy pushed a commit that referenced this pull request Dec 3, 2025
…rmatting (#58930) (#58960)

(cherry picked from commit c811833)

Co-authored-by: Jarek Potiuk <jarek@potiuk.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:dev-tools backport-to-v3-1-test Mark PR with this label to backport to v3-1-test branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant