[ci] Use git diff
instead of changed-files
GH action#16796
Merged
MichaReiser merged 1 commit intomainfrom Mar 17, 2025
Merged
[ci] Use `git diff` instead of `changed-files` GH action#16796MichaReiser merged 1 commit intomainfrom
MichaReiser merged 1 commit intomainfrom