Skip to content

Conversation

@Cirilla-zmh
Copy link
Collaborator

No description provided.

Change-Id: Ia2da805cc0277aa5bde80cafac5f50cc0696fc16
Co-developed-by: Cursor <[email protected]>
@Cirilla-zmh Cirilla-zmh added the Skip Changelog PRs that do not require a CHANGELOG.md entry label Dec 2, 2025
@Cirilla-zmh Cirilla-zmh merged commit 0ef7dd7 into main Dec 3, 2025
1317 checks passed
@Cirilla-zmh Cirilla-zmh deleted the chore/fix_static_checks branch December 3, 2025 06:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Skip Changelog PRs that do not require a CHANGELOG.md entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants