PR Welcome Bot #1830
Triggered via pull request review
October 20, 2024 14:07
semgrep-app[bot]
submitted
e3eb6a2
Status
Success
Total duration
13s
Artifacts
–