Skip to content

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

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

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

Triggered via push December 13, 2024 17:02
Status Success
Total duration 6m 55s
Artifacts
rules-test-historical
6m 47s
rules-test-historical
Fit to window
Zoom out
Zoom in