aboutsummaryrefslogtreecommitdiff
path: root/maint/coverage
Commit message (Expand)AuthorAgeFilesLines
* maint: remove useless optargEmil Engler2023-08-081-1/+1
* maint: list the HTML dependencies in coverageEmil Engler2023-08-081-0/+1
* maint: remove the dependency check from coverageEmil Engler2023-02-241-23/+0
* 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
generated by cgit v1.2.3 (git 2.46.0) at 2026-08-26 17:03:26 +0000