Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Feb 6, 2025

This is the release candidate for version 0.10.15.

@jiexi jiexi marked this pull request as ready for review February 6, 2025 22:44
@jiexi jiexi requested a review from a team as a code owner February 6, 2025 22:44
@jiexi jiexi merged commit 8c2c8a8 into main Feb 6, 2025
5 checks passed
@jiexi jiexi deleted the release/0.10.15 branch February 6, 2025 22:46
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