Skip to content

chore: update to v0.0.15-dev version#29

Merged
nnicora merged 1 commit into
mainfrom
dev/v0.0.15
Jun 5, 2025
Merged

chore: update to v0.0.15-dev version#29
nnicora merged 1 commit into
mainfrom
dev/v0.0.15

Conversation

@push-tags-from-workflow
Copy link
Copy Markdown
Contributor

This PR was created automatically by GitHub Actions.

Signed-off-by: GitHub Actions <github-actions[bot]@users.noreply.github.com>
@nnicora nnicora merged commit 94b9c9c into main Jun 5, 2025
4 checks passed
@nnicora nnicora deleted the dev/v0.0.15 branch June 5, 2025 19:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant