Semgrep

Delete default groups #527

Sign in to view logs

Triggered via pull request July 29, 2025 19:43

dandavison

synchronize #217

delete-default-groups

Status Success

Total duration 1m 31s

Artifacts –

semgrep.yml Required

on: pull_request