Coverity

repo: add path.git-prefix path key #8927

Sign in to view logs

Triggered via push July 17, 2026 23:27

gitgitgadget[bot]

kj/repo-info-more-path-keys

Status Skipped

Total duration 1s

Artifacts –

coverity.yml

on: push

Matrix: coverity