Skip to content

chore: release workflow part 3#5

Merged
ruiconti merged 2 commits intomainfrom
rui/chore/release-workflow
Apr 11, 2025
Merged

chore: release workflow part 3#5
ruiconti merged 2 commits intomainfrom
rui/chore/release-workflow

Conversation

@ruiconti
Copy link
Contributor

No description provided.

@ruiconti ruiconti added the release-patch A PR that contains this label will, upon merge, trigger a patch release label Apr 11, 2025
@ruiconti ruiconti self-assigned this Apr 11, 2025
@ruiconti ruiconti merged commit 5b8c3ee into main Apr 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-patch A PR that contains this label will, upon merge, trigger a patch release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant