Skip to content

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

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

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

Triggered via push December 13, 2024 17:02
Status Success
Total duration 57s
Artifacts
rules-test-latest
46s
rules-test-latest
Fit to window
Zoom out
Zoom in