Skip to content

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

Remove dev.semgrep.dev from update-registry job

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

Triggered via pull request March 11, 2024 16:22
Status Success
Total duration 18s
Artifacts

semgrep-rules-format.yml

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