Skip to content

Update Semgrep diff scan workflow#2

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

Update Semgrep diff scan workflow#2
devin-ai-integration[bot] wants to merge 1 commit intomainfrom
devin/1749209012-update-semgrep-scan-diff

Commits

Commits on Jun 6, 2025