8569144640
88%
master: 91%

Ran 05 Apr 2024 11:36AM UTC

Jobs 0

Files 0

Run time –

Badge

Build Type

push

github

Committed by

Commit Message

[ERC][Added] Locally defined filters

- So they aren't shared with DRC
- The new filters can also change the severity, not just ignore

Run Details

Detailed source file information is not available for this build.