Skip to content
Coverity

Merge branch 'ps/ci-avoid-broken-sudo-on-ubuntu' into HEAD #5799

Sign in to view logs

Merge branch 'ps/ci-avoid-broken-sudo-on-ubuntu' into HEAD

Merge branch 'ps/ci-avoid-broken-sudo-on-ubuntu' into HEAD #5799

Triggered via push October 13, 2025 23:09
@gitgitgadgetgitgitgadget[bot]
pushed 8a82514
seen
Status Skipped
Total duration 1s
Artifacts –

coverity.yml

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