Skip to content

Comments

chore: fix compilation error#2137

Merged
mcollovati merged 1 commit intomainfrom
chore/fix-compilation-errors
Feb 23, 2026
Merged

chore: fix compilation error#2137
mcollovati merged 1 commit intomainfrom
chore/fix-compilation-errors

Conversation

@mcollovati
Copy link
Contributor

No description provided.

@mcollovati mcollovati requested a review from mshabarov February 23, 2026 07:06
@mcollovati mcollovati enabled auto-merge (squash) February 23, 2026 07:35
@mcollovati mcollovati merged commit 532965d into main Feb 23, 2026
10 checks passed
@mcollovati mcollovati deleted the chore/fix-compilation-errors branch February 23, 2026 07:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants