aboutsummaryrefslogtreecommitdiff
path: root/contrib/coverage-diff.sh
AgeCommit message (Expand)Author
2026-03-19contrib: move "coverage-diff.sh" script into "tools/"Patrick Steinhardt
2024-03-16contrib/coverage-diff: avoid redundant pipelinesBeat Bolli
2018-10-10contrib: add coverage-diff scriptDerrick Stolee