Skip to content

Use git diff instead of git diff-index #171

Use git diff instead of git diff-index

Use git diff instead of git diff-index #171

Triggered via push March 22, 2024 17:22
Status Success
Total duration 4m 33s
Artifacts

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in