Skip to content

chore: promote public API for v6.0.0 - #137

Merged
GabrielMarquezMatte merged 1 commit into
developfrom
chore/promote-public-api-v6.0.0
Oct 7, 2026
Merged

GabrielMarquezMatte merged 1 commit into
developfrom
chore/promote-public-api-v6.0.0

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 7, 2026

Copy link
Copy Markdown

Everything that was in PublicAPI.Unshipped.txt when v6.0.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 d3a3c3a into develop Oct 7, 2026
1 check passed
@GabrielMarquezMatte
GabrielMarquezMatte deleted the chore/promote-public-api-v6.0.0 branch October 8, 2026 13:17
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