Skip to content

Add Semgrep diff scan workflow#1

Closed
devin-ai-integration[bot] wants to merge 1 commit intomainfrom
devin/1748503501-add-semgrep-scan-diff
Closed

Add Semgrep diff scan workflow#1
devin-ai-integration[bot] wants to merge 1 commit intomainfrom
devin/1748503501-add-semgrep-scan-diff

Commits

Commits on May 29, 2025