Skip to content

Add option to ignore recorded violations#103

Merged
alexevanczuk merged 3 commits intoalexevanczuk:mainfrom oleg-vinted:feature/ignore_recorded_violations_switchJul 31, 2023

Commits

Commits on Jul 31, 2023