Skip to content

[housekeeping] Automated PR to fix formatting errors on main#31742

Merged
rmarinho merged 1 commit intomainfrom
housekeeping/fix-codeformatting/main
Sep 24, 2025
Merged

[housekeeping] Automated PR to fix formatting errors on main#31742
rmarinho merged 1 commit intomainfrom
housekeeping/fix-codeformatting/main

Conversation

@github-actions
Copy link
Contributor

Automated PR to fix formatting errors

@github-actions github-actions bot added area-infrastructure CI, Maestro / Coherency, upstream dependencies/versions t/housekeeping ♻︎ labels Sep 24, 2025
@rmarinho rmarinho merged commit c23b69a into main Sep 24, 2025
1 check passed
@rmarinho rmarinho deleted the housekeeping/fix-codeformatting/main branch September 24, 2025 08:09
@github-actions github-actions bot locked and limited conversation to collaborators Oct 24, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

area-infrastructure CI, Maestro / Coherency, upstream dependencies/versions t/housekeeping ♻︎

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants