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