Skip to content

Merge branch 'main' into main #31

Merge branch 'main' into main

Merge branch 'main' into main #31

Triggered via push October 29, 2024 11:43
Status Failure
Total duration 43s
Artifacts
Analyze Semgrep
30s
Analyze Semgrep
Fit to window
Zoom out
Zoom in

Annotations

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