update-semgrep-registry

Merge pull request #32 from trailofbits/relicense #5

Sign in to view logs

Triggered via push July 15, 2023 01:51

woodruffw

main

Status Success

Total duration 2m 0s

Artifacts –

update-semgrep-registry.yml

on: push

Update semgrep.dev