Skip to content

Merge pull request #3387 from fgsch/patch-1 #686

Merge pull request #3387 from fgsch/patch-1

Merge pull request #3387 from fgsch/patch-1 #686

Triggered via push May 22, 2024 19:56
Status Success
Total duration 12s
Artifacts
Update semgrep.dev
2s
Update semgrep.dev
Fit to window
Zoom out
Zoom in