Skip to content

Chore/bump catalog version#23

Merged
enriqueavindi merged 6 commits into
mainfrom
chore/bump-catalog-version
Oct 6, 2025
Merged

Chore/bump catalog version#23
enriqueavindi merged 6 commits into
mainfrom
chore/bump-catalog-version

Conversation

@enriqueavindi

@enriqueavindi enriqueavindi commented Oct 6, 2025

Copy link
Copy Markdown
Contributor

Summary

Briefly describe the purpose of this PR and what changes it introduces.

Checklist

Additional context

Add any screenshots, test output, or notes for reviewers here.

@enriqueavindi
enriqueavindi requested a review from a team as a code owner October 6, 2025 11:05
@enriqueavindi
enriqueavindi merged commit 122ac9e into main Oct 6, 2025
12 checks passed
@enriqueavindi
enriqueavindi deleted the chore/bump-catalog-version branch October 6, 2025 11:15
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