Skip to content

chore: ship only sources - #3

Merged
sjuergen merged 1 commit into
mainfrom
chore-ship-only-sources
Sep 10, 2026
Merged

sjuergen merged 1 commit into
mainfrom
chore-ship-only-sources

Conversation

@sjuergen

Copy link
Copy Markdown
Member

No description provided.

@sjuergen
sjuergen requested a review from a team as a code owner September 10, 2026 11:43
@sjuergen
sjuergen merged commit a7fa42e into main Sep 10, 2026
1 of 2 checks passed
@sjuergen
sjuergen deleted the chore-ship-only-sources branch September 11, 2026 11:53
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