Skip to content

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

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

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

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