Skip to content

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

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

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

Triggered via push March 27, 2024 12:32
Status Success
Total duration 15s
Artifacts
Update semgrep.dev
6s
Update semgrep.dev
Fit to window
Zoom out
Zoom in