Skip to content

main => prod#180

Merged
dor-eitan merged 2 commits intoprodfrom
main
Aug 7, 2025
Merged

main => prod#180
dor-eitan merged 2 commits intoprodfrom
main

Conversation

@dor-eitan
Copy link
Copy Markdown
Contributor

sync version to main via PR

@dor-eitan dor-eitan merged commit 4b9d6a4 into prod Aug 7, 2025
3 of 4 checks passed
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.

1 participant