Skip to content
update-semgrep-registry

Remove dev.semgrep.dev from update-registry job (#45) #18

Sign in to view logs

Remove dev.semgrep.dev from update-registry job (#45)

Remove dev.semgrep.dev from update-registry job (#45) #18

Triggered via push March 11, 2024 16:26
@GrosQuilduGrosQuildu
pushed f927ddb
main
Status Success
Total duration 11s
Artifacts –

update-semgrep-registry.yml

on: push
Update semgrep.dev
3s
Update semgrep.dev
Fit to window
Zoom out
Zoom in