Skip to content

Merge pull request #3367 from semgrep/claudio/kill-rascal #672

Merge pull request #3367 from semgrep/claudio/kill-rascal

Merge pull request #3367 from semgrep/claudio/kill-rascal #672

Triggered via push April 30, 2024 13:50
Status Success
Total duration 12s
Artifacts
Update semgrep.dev
3s
Update semgrep.dev
Fit to window
Zoom out
Zoom in