Skip to content

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 Oct 15, 2025
@rmarinho rmarinho merged commit 641945f into main Oct 15, 2025
1 check passed
@rmarinho rmarinho deleted the housekeeping/fix-codeformatting/main branch October 15, 2025 08:34
@github-actions github-actions bot locked and limited conversation to collaborators Nov 14, 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.

4 participants