Skip to content

chore: promote public API for v5.1.0 - #132

Merged
GabrielMarquezMatte merged 1 commit into
developfrom
chore/promote-public-api-v5.1.0
Sep 29, 2026
Merged

GabrielMarquezMatte merged 1 commit into
developfrom
chore/promote-public-api-v5.1.0

Conversation

@github-actions

Copy link
Copy Markdown

Everything that was in PublicAPI.Unshipped.txt when v5.1.0 was published is now part of the shipped contract. Moves it into PublicAPI.Shipped.txt so future removals/signature changes get flagged as breaking.

@GabrielMarquezMatte
GabrielMarquezMatte merged commit fe6d79a into develop Sep 29, 2026
1 check passed
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.

1 participant