diff options
| author | Craig Jennings <c@cjennings.net> | 2026-05-05 09:31:32 -0500 |
|---|---|---|
| committer | Craig Jennings <c@cjennings.net> | 2026-05-05 09:31:32 -0500 |
| commit | 14195e10b01fec3d9ded6e664a416c5cf3d33cc9 (patch) | |
| tree | a0695eb5e31ba4690245f7939a5cb0acb53251be /scripts/coverage-summary.py | |
| parent | 8e15315aa47f2ffbf3624ea67a68b7a5f80b2a7f (diff) | |
| download | emacs-wttrin-14195e10b01fec3d9ded6e664a416c5cf3d33cc9.tar.gz emacs-wttrin-14195e10b01fec3d9ded6e664a416c5cf3d33cc9.zip | |
docs: add CI and Coveralls badges to README
Both badges point at the GitHub mirror, which is where the workflow runs and where the coverage gets reported. The CI badge reflects the latest run on `main`. The Coveralls badge tracks the most recent coverage upload from that branch.
Diffstat (limited to 'scripts/coverage-summary.py')
0 files changed, 0 insertions, 0 deletions