Skip to content

Prevent content from steering the string match filters - #317

Merged
FreeAndNil merged 5 commits into
masterfrom
Feature/317-filters
Sep 4, 2026
Merged

Prevent content from steering the string match filters#317
FreeAndNil merged 5 commits into
masterfrom
Feature/317-filters

decide filter matches deterministically #317

4286db7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar