Skip to content

Remove dev.semgrep.dev from update-registry job #43

Remove dev.semgrep.dev from update-registry job

Remove dev.semgrep.dev from update-registry job #43

run semgrep rules format

succeeded Mar 11, 2024 in 9s