rochacbruno merged rochacbruno/marmite#496 · July 5, 2026 13:54 ci: merge redundant coverage jobs into one #496 SummaryMerged the coverage (push-only, codecov upload) and pr-coverage (PR-only, PR comment) jobs into a single Coverage jobTarpaulin runs once … +28 -42 2 comments