Skip to content

fix: disable semgrep metrics and optimize scanning performance#7

Merged
salecharohit merged 1 commit into
mainfrom
fix/semgrep-metrics-and-perf
May 15, 2026
Merged

fix: disable semgrep metrics and optimize scanning performance#7
salecharohit merged 1 commit into
mainfrom
fix/semgrep-metrics-and-perf

Commits

Commits on May 15, 2026