rochacbruno merged rochacbruno/marmite#492 · July 4, 2026 11:33 ci: add pedantic clippy and coverage PR comments #492 SummaryAdds a Pedantic Clippy CI job that runs on PRs, posts warnings as a PR comment (non-blocking)Adds a PR Coverage CI job that runs tarpauli… +127 -7 2 comments