Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Deduplicate clippy warning annotations (#10)
When clippy is used with --message-format json it will emit warnings in the main crate twice. This shows up on github as duplicate warnings which isn't great. This PR just adds a CI step that deduplicates warnings before sending them off to clippy-sarif and sarif-fmt.
- Loading branch information