Skip to content

Fix finding IDs for semgrep sarifs#960

Merged
drdavella merged 1 commit intomainfrom
fix-semgrep-finding-ids
Dec 20, 2024
Merged

Fix finding IDs for semgrep sarifs#960
drdavella merged 1 commit intomainfrom
fix-semgrep-finding-ids

Commits

Commits on Dec 20, 2024