Skip to content

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

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

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

Triggered via push September 13, 2024 08:49
Status Success
Total duration 9s
Artifacts
trigger
2s
trigger
Fit to window
Zoom out
Zoom in