Skip to content

Merge pull request #3336 from semgrep/merge-develop-to-release #788

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

Merge pull request #3336 from semgrep/merge-develop-to-release #788

Triggered via push March 14, 2024 00:19
Status Success
Total duration 15s
Artifacts
Update semgrep.dev
3s
Update semgrep.dev
Fit to window
Zoom out
Zoom in