Skip to content

refactor: use pattern matching in another place#1092

Merged
henryiii merged 2 commits intodevelopfrom
henryiii/chore/pattern
Mar 7, 2026
Merged

refactor: use pattern matching in another place#1092
henryiii merged 2 commits intodevelopfrom
henryiii/chore/pattern

Conversation

@henryiii
Copy link
Copy Markdown
Member

@henryiii henryiii commented Mar 6, 2026

Another place to use pattern matching.

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@github-actions github-actions bot added the needs changelog Might need a changelog entry label Mar 6, 2026
Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@henryiii henryiii merged commit 73da908 into develop Mar 7, 2026
20 checks passed
@henryiii henryiii deleted the henryiii/chore/pattern branch March 7, 2026 02:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs changelog Might need a changelog entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant