Skip to content

Conversation

@ssbarnea
Copy link
Member

@ssbarnea ssbarnea commented Oct 7, 2025

Fixes build error.

@ssbarnea ssbarnea requested a review from a team as a code owner October 7, 2025 10:32
@ssbarnea ssbarnea enabled auto-merge (squash) October 7, 2025 10:32
@github-actions github-actions bot added the chore label Oct 7, 2025
@ssbarnea ssbarnea disabled auto-merge October 7, 2025 11:12
@ssbarnea ssbarnea merged commit d7cd7cf into main Oct 7, 2025
19 of 21 checks passed
@ssbarnea ssbarnea deleted the chore/sonar branch October 7, 2025 11:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant