Skip to content

Merge branch 'master' into issue_1005 #8067

Merge branch 'master' into issue_1005

Merge branch 'master' into issue_1005 #8067

Triggered via push October 18, 2023 05:43
Status Failure
Total duration 41s
Artifacts

semgrep.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
semgrep
ref 'refs/heads/issue_1005' not found in this repository