Skip to content

document rule priority#3102

Merged
davidism merged 2 commits intostablefrom
match-docs
Feb 5, 2026
Merged

document rule priority#3102
davidism merged 2 commits intostablefrom
match-docs

Conversation

@davidism
Copy link
Copy Markdown
Member

@davidism davidism commented Feb 5, 2026

Describe at a high level how rules are sorted for matching. closes #2924

Removes the low level description of the state machine, and the API docs for it, as it's not intended to be public.

@davidism davidism merged commit 8565c2c into stable Feb 5, 2026
2 checks passed
@davidism davidism deleted the match-docs branch February 5, 2026 21:29
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Feb 20, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant