Skip to content

Fix permissions for semgrep_diff #745

Fix permissions for semgrep_diff

Fix permissions for semgrep_diff #745

Triggered via pull request July 4, 2024 15:22
@jiekangjiekang
opened #1075
Status Success
Total duration 12s
Artifacts

comment-bot.yml

on: pull_request_target
Add Comment
3s
Add Comment
Fit to window
Zoom out
Zoom in