Skip to content

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

Remove dev.semgrep.dev from update-registry job

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

Triggered via pull request January 16, 2024 17:16
Status Success
Total duration 17s
Artifacts

semgrep-rules-format.yml

on: pull_request
run semgrep rules format
8s
run semgrep rules format
Fit to window
Zoom out
Zoom in