Skip to content

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

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

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

Triggered via push January 9, 2025 13:27
Status Success
Total duration 7m 16s
Artifacts
rules-test-historical
7m 4s
rules-test-historical
Fit to window
Zoom out
Zoom in