Skip to content

chore: promote public API for v0.1.0 - #1

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

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

Conversation

@github-actions

Copy link
Copy Markdown

Everything that was in PublicAPI.Unshipped.txt when v0.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 9e36bef into develop Sep 28, 2026
@GabrielMarquezMatte
GabrielMarquezMatte deleted the chore/promote-public-api-v0.1.0 branch September 29, 2026 03:27
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