Skip to content

Avoid running semgrep on merge groups (#4) #3

Avoid running semgrep on merge groups (#4)

Avoid running semgrep on merge groups (#4) #3

Triggered via push January 11, 2024 15:40
Status Success
Total duration 49s
Artifacts

semgrep.yml

on: push
semgrep/ci
42s
semgrep/ci
Fit to window
Zoom out
Zoom in