Skip to content

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

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

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

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Sep 6, 2025

Automated PR to fix formatting errors

@github-actions github-actions bot added area-infrastructure CI, Maestro / Coherency, upstream dependencies/versions t/housekeeping ♻︎ labels Sep 6, 2025
@github-actions github-actions bot requested a review from a team as a code owner September 6, 2025 00:47
@github-actions github-actions bot added the area-infrastructure CI, Maestro / Coherency, upstream dependencies/versions label Sep 6, 2025
@rmarinho rmarinho merged commit e838b50 into main Sep 6, 2025
1 check passed
@rmarinho rmarinho deleted the housekeeping/fix-codeformatting/main branch September 6, 2025 22:45
@github-actions github-actions bot locked and limited conversation to collaborators Oct 7, 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