Skip to content

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

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

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

Triggered via push January 10, 2025 09:37
Status Success
Total duration 6m 50s
Artifacts
rules-test-historical
6m 42s
rules-test-historical
Fit to window
Zoom out
Zoom in