summaryrefslogtreecommitdiff
path: root/maint/coverage
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'coverage-dep-check' into 'main'Ian Jackson2023-02-221-0/+23
|\
| * maint: add a dependency check to coverageEmil Engler2023-02-211-0/+23
* | maint: forcefully remove files in coverageEmil Engler2023-02-161-1/+1
|/
* maint: replace llvm-tools-preview with llvm-toolsEmil Engler2023-01-271-1/+1
* shell: use /usr/bin/env instead of absolute pathsEmil Engler2023-01-251-1/+1
* Fix "coverage -h" commandSteven Murdoch2022-05-261-1/+1
* make almost all scripts use bash and set euo pipefailtrinity-1686a2022-05-251-1/+1
* use true instead of /bin/truetrinity-1686a2022-05-051-2/+2
* generate aggregated coverage reportstrinity-1686a2022-05-051-13/+19
* use rustc 1.60 (stable) for coveragetrinity-1686a2022-04-071-1/+1
* tests/chutney: Merge chutney-launching scriptsNick Mathewson2022-03-101-1/+1
* rename *.sh scripts to bare nameIan Jackson2022-02-181-0/+100