Skip to content
Coverity

Merge branch 'ps/ci-test-with-jgit' into seen #1393

Sign in to view logs

Merge branch 'ps/ci-test-with-jgit' into seen

Merge branch 'ps/ci-test-with-jgit' into seen #1393

Triggered via push April 9, 2024 21:58
@gitgitgadgetgitgitgadget[bot]
pushed 9b5d896
seen
Status Skipped
Total duration 2s
Artifacts –

coverity.yml

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