Skip to content

Speed up semgrep - #153

Merged
jayvdb merged 1 commit into
mainfrom
semgrep-speed
Oct 21, 2026
Merged

jayvdb merged 1 commit into
mainfrom
semgrep-speed

Commits

  1. Commits on Oct 21, 2026