Skip to content

feat(taints): add a picker for widely used taints - #565

Merged
janosmiko merged 2 commits into
mainfrom
feat/taint-presets-picker
Jul 27, 2026
Merged

feat(taints): add a picker for widely used taints#565
janosmiko merged 2 commits into
mainfrom
feat/taint-presets-picker

Merge branch 'main' into feat/taint-presets-picker

3f78ed8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar