summaryrefslogtreecommitdiff
path: root/ci/gen-coverage.sh
Commit message (Expand)AuthorAgeFilesLines
* coverage: ignore lines with the unreachable!() macroFederico Mena Quintero2022-08-091-0/+2
* Extract the line coverage from the HTML reportFederico Mena Quintero2022-08-051-1/+4
* Disable the cobertura.xml report for nowFederico Mena Quintero2022-08-051-2/+10
* coverage: Oops, ignore cargo_cache as wellFederico Mena Quintero2022-06-151-0/+14
* CI: move the coverage script to a standalone shell scriptFederico Mena Quintero2022-06-141-0/+27