Skip to content
Coverity

Merge branch 'as/gitk-git-gui-repo-update' #3495

Sign in to view logs

Merge branch 'as/gitk-git-gui-repo-update'

Merge branch 'as/gitk-git-gui-repo-update' #3495

Triggered via push December 28, 2024 19:17
@gitgitgadgetgitgitgadget[bot]
pushed df2faf1
master
Status Skipped
Total duration 1s
Artifacts –

coverity.yml

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