Skip to content

chore: fix publish - #2285

Merged
mjuchli-da merged 1 commit into
mainfrom
mjuchli/fix-publish
Aug 13, 2026
Merged

chore: fix publish#2285
mjuchli-da merged 1 commit into
mainfrom
mjuchli/fix-publish

Conversation

@mjuchli-da

Copy link
Copy Markdown
Contributor

No description provided.

Signed-off-by: Marc Juchli <marc.juchli@digitalasset.com>
@mjuchli-da
mjuchli-da requested a review from a team as a code owner August 13, 2026 12:37
@mjuchli-da
mjuchli-da enabled auto-merge (squash) August 13, 2026 12:37
@mjuchli-da
mjuchli-da merged commit a600695 into main Aug 13, 2026
27 checks passed
@mjuchli-da
mjuchli-da deleted the mjuchli/fix-publish branch August 13, 2026 13:13
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.

2 participants