Deploy to semgrep.dev

Merge pull request #3301 from semgrep/merge-develop-to-release #777

Sign in to view logs

Triggered via push February 7, 2024 10:45

p4p3r

release

Status Success

Total duration 12s

Artifacts –

update-semgrep-dev.yml

on: push

Update semgrep.dev