Skip to content

chore: update version to 1.3.1#49

Merged
enriqueavindi merged 2 commits into
mainfrom
release-1.3.1
Jun 8, 2026
Merged

chore: update version to 1.3.1#49
enriqueavindi merged 2 commits into
mainfrom
release-1.3.1

Conversation

@enriqueavindi

Copy link
Copy Markdown
Contributor

Summary

update version to 1.3.1

Checklist

@enriqueavindi enriqueavindi requested a review from a team as a code owner June 8, 2026 12:31
@enriqueavindi enriqueavindi merged commit 628f2d3 into main Jun 8, 2026
13 checks passed
@enriqueavindi enriqueavindi deleted the release-1.3.1 branch June 8, 2026 13:11
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