Skip to content

Ship PublicApi for v1.0.0-pre.2 - #263

Merged
Happypig375 merged 5 commits into
masterfrom
action/ship-publicapi
Aug 26, 2026
Merged

Ship PublicApi for v1.0.0-pre.2#263
Happypig375 merged 5 commits into
masterfrom
action/ship-publicapi

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

This PR moves the contents of PublicApi.Unshipped.txt to PublicApi.Shipped.txt to mark the API as shipped for version v1.0.0-pre.2.

@Happypig375

Copy link
Copy Markdown
Collaborator

It is not correct to put everything in the same line!

@Happypig375 Happypig375 reopened this Aug 26, 2026
@github-actions github-actions Bot added the Type/Housekeeping This includes internal only changes. label Aug 26, 2026
@Happypig375
Happypig375 merged commit 8bda039 into master Aug 26, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type/Housekeeping This includes internal only changes.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant