Skip to content

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

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

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

Triggered via push January 29, 2025 08:03
Status Success
Total duration 12s
Artifacts
trigger
4s
trigger
Fit to window
Zoom out
Zoom in