Skip to content

gitk: add external diff file rename detection #1

gitk: add external diff file rename detection

gitk: add external diff file rename detection #1

Triggered via push October 29, 2025 12:47
Status Skipped
Total duration 1s
Artifacts

coverity.yml

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