Skip to content

chore: promote public API for v5.0.1 - #128

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

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

Conversation

@github-actions

Copy link
Copy Markdown

Everything that was in PublicAPI.Unshipped.txt when v5.0.1 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 190b3ee into develop Sep 24, 2026
1 check passed
@GabrielMarquezMatte
GabrielMarquezMatte deleted the chore/promote-public-api-v5.0.1 branch September 25, 2026 04:25
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