Skip to content

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

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

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

Triggered via push January 29, 2025 08:03
Status Success
Total duration 24s
Artifacts
Validate r2c registry metadata
16s
Validate r2c registry metadata
Fit to window
Zoom out
Zoom in