Repository navigation

Fix/filter out duplicate suppressions - #96

Closed

davidramnero wants to merge 7 commits into

mainfrom

fix/filter-out-duplicate-suppressions

Commits on Jul 26, 2026

fix/#92 filter existing diagnostics based on severity level when severity level is changed
davidramnero
committed
d462636

Commits on Jul 27, 2026

fix/filter out duplicate suppressions between project file and cli
davidramnero
committed
fd16c08
removed console log and added explanatory comment
davidramnero
committed
40c5271
Merge branch 'main' into fix/filter-out-duplicate-suppressions
davidramnero
committed
d8ffbfe
clean up after merge
davidramnero
committed
dcb0a14
updated error message to be accurate
davidramnero
committed
df68f11
filter out duplicates from cli arguments
davidramnero
committed
7446341