Skip to content

Avoid running semgrep on merge groups #3

Avoid running semgrep on merge groups

Avoid running semgrep on merge groups #3

Triggered via pull request January 11, 2024 15:39
Status Success
Total duration 42s
Artifacts

semgrep.yml Required

on: pull_request
semgrep/ci
31s
semgrep/ci
Fit to window
Zoom out
Zoom in