Skip to content
Coverity

completion: hide dotfiles for selected path completion #8225

Sign in to view logs

completion: hide dotfiles for selected path completion

completion: hide dotfiles for selected path completion #8225

Triggered via push May 27, 2026 23:41
@gitgitgadgetgitgitgadget[bot]
pushed 96d1225
za/completion-hide-dotfiles
Status Skipped
Total duration 1s
Artifacts –

coverity.yml

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