Skip to content

Merge branch 'main' into main #30

Merge branch 'main' into main

Merge branch 'main' into main #30

Triggered via push October 22, 2024 19:59
Status Failure
Total duration 35s
Artifacts
Analyze Semgrep
25s
Analyze Semgrep
Fit to window
Zoom out
Zoom in

Annotations

1 error
Analyze Semgrep
Path does not exist: semgrep.sarif