chore Remove non-existent branch from semgrep workflow #15
Triggered via pull request
September 27, 2024 14:34
Status
Success
Total duration
2m 27s
Artifacts
–