Skip to content

Severity filtering bug fix#6

Merged
cb-elileers merged 1 commit intomainfrom
severity-filtering
Feb 12, 2025
Merged

Severity filtering bug fix#6
cb-elileers merged 1 commit intomainfrom
severity-filtering

Conversation

@cb-elileers
Copy link
Copy Markdown
Owner

Used the shortname for skipDetectors, causing no detectors to be skipped. Fixed bug, made --skip-detectors parameter required instead of optional

@cb-elileers cb-elileers merged commit 3994c85 into main Feb 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant