panates / rman / 38215046907

95%

main: 95%

push

github

docs: a release goes through a PR after dev has tested green

Push dev, wait for its Test run, open a PR dev -> main and merge it, then
fast-forward dev. dev and main pushed seconds apart ran the Test and
Release workflows at once, and a hand-merged main also misses the
release workflow's skip for a PR from dev, testing the commit twice.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

4400 of 4807 branches covered (91.53%)

Branch coverage included in aggregate %.

23949 of 25078 relevant lines covered (95.5%)

255.56 hits per line