Skip to content

feat(cmdfilter): port rtk's filter coverage (3 -> 24) and fix three DSL loss-typing bugs - #42

Merged
OsherElhadad merged 7 commits into
mainfrom
feat/i29-cmdfilter-rebased
Aug 10, 2026
Merged

feat(cmdfilter): port rtk's filter coverage (3 -> 24) and fix three DSL loss-typing bugs#42
OsherElhadad merged 7 commits into
mainfrom
feat/i29-cmdfilter-rebased

test(cmdfilter): assert never_worse holds for every shipped filter

6665848
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Aug 10, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO