Skip to content

chore: make _non_exhaustive pub#3873

Merged
mattsse merged 2 commits intomainfrom
matt/make-non-exhaustive-public
Apr 9, 2026
Merged

chore: make _non_exhaustive pub#3873
mattsse merged 2 commits intomainfrom
matt/make-non-exhaustive-public

Conversation

@mattsse
Copy link
Copy Markdown
Member

@mattsse mattsse commented Apr 9, 2026

we need this pub

@mattsse mattsse enabled auto-merge (squash) April 9, 2026 04:55
@mattsse mattsse disabled auto-merge April 9, 2026 04:56
@mattsse mattsse merged commit 60ee844 into main Apr 9, 2026
29 checks passed
@mattsse mattsse deleted the matt/make-non-exhaustive-public branch April 9, 2026 05:03
@github-project-automation github-project-automation bot moved this to Done in Alloy Apr 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants