Skip to content

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

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

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

Triggered via push January 9, 2025 13:27
Status Success
Total duration 17s
Artifacts
trigger
7s
trigger
Fit to window
Zoom out
Zoom in