Skip to content

doc(coverage): the HA gap is closed, so say so in the past tense - #48

Merged
kzangeli merged 1 commit into
mainfrom
doc/coverage-ha-closed
Sep 2, 2026
Merged

doc(coverage): the HA gap is closed, so say so in the past tense#48
kzangeli merged 1 commit into
mainfrom
doc/coverage-ha-closed

Conversation

@kzangeli

@kzangeli kzangeli commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator

Follow-up to #47, which closed the gap that #46's HA section described as live.

doc/coverage.md now says how the gap was closed — the mongo-rs service image in the three jobs that run the suite, and .github/scripts/mongo-rs-init.sh — and records why the perf and ETSI jobs deliberately keep a standalone, so nobody "fixes" the perf job and moves its baseline out from under it.

The measured numbers above that section are untouched. They were taken against a replica set in the first place, which is how the discrepancy was noticed at all.

The section keeps its point, which outlives this particular bug: a coverage figure measures an environment as much as it measures a suite, and nothing in the output tells you which environment produced it.

🤖 Generated with Claude Code

https://claude.ai/code/session_01TGatXwrHx1CreL49sCuS37

#47 merged between this branch being written and being merged. CI no longer
runs a standalone mongo, so the section that described the gap now describes
how it was closed - the mongo-rs service image in the three jobs that run the
suite, and why the perf and ETSI jobs deliberately keep a standalone.

The numbers above it are untouched: they were measured against a replica set
in the first place, which is how the discrepancy was noticed at all.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TGatXwrHx1CreL49sCuS37
@read-the-docs-community

Copy link
Copy Markdown

Documentation build overview

📚 coraine | 🛠️ Build #34351090 | 📁 Comparing 12b697f against latest (b5c2a98)

  🔍 Preview build  

1 file changed
± coverage.html

@kzangeli
kzangeli merged commit a191043 into main Sep 2, 2026
3 checks passed
@kzangeli
kzangeli deleted the doc/coverage-ha-closed branch September 2, 2026 11:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant