Skip to content

Conversation

jpvajda
Copy link
Contributor

@jpvajda jpvajda commented Jul 31, 2025

Proposed changes

Bumps version for minor release

@jpvajda jpvajda merged commit d2f2723 into main Jul 31, 2025
18 checks passed
@jpvajda jpvajda deleted the chore/version-release branch July 31, 2025 18:50
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