Skip to content

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

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

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

Triggered via push December 13, 2024 16:46
Status Success
Total duration 6m 54s
Artifacts
rules-test-historical
6m 46s
rules-test-historical
Fit to window
Zoom out
Zoom in