Skip to content

release/v0.23.2#2188

Merged
NoyaArie merged 3 commits intomasterfrom
release/v0.23.2
Apr 15, 2026
Merged

release/v0.23.2#2188
NoyaArie merged 3 commits intomasterfrom
release/v0.23.2

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Apr 14, 2026

Open automatically using bump version workflow


Open with Devin

Copy link
Copy Markdown
Contributor

@devin-ai-integration devin-ai-integration bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Devin Review: No Issues Found

Devin Review analyzed this PR and found no bugs or issues to report.

Open in Devin Review

@NoyaArie NoyaArie merged commit c642a36 into master Apr 15, 2026
22 checks passed
@NoyaArie NoyaArie deleted the release/v0.23.2 branch April 15, 2026 07:34
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