Skip to content

chore: gate CI on the doc-style audit script#105

Merged
tgockel merged 1 commit into
trunkfrom
0082-doc-width-regressions
Jul 13, 2026
Merged

chore: gate CI on the doc-style audit script#105
tgockel merged 1 commit into
trunkfrom
0082-doc-width-regressions

Conversation

@tgockel

@tgockel tgockel commented Jul 13, 2026

Copy link
Copy Markdown
Owner

CLAUDE.md and the /next-task skill both claim CI runs scripts/audit-doc-style.py, but ci.yml never invoked it -- which is how two doc width violations slipped onto trunk unnoticed. Add a doc-style job (checkout + python3 scripts/audit-doc-style.py); the script is stdlib-only so the job needs no pip install, and its non-zero exit on violations is what gates.

The width violations themselves (doc/reference/cli.md, doc/usage/ run.md) were already fixed by intervening commits; the audit exits 0 on trunk today, so this lands no doc edits.

Summary

What does this change, and why?

Checklist

  • cargo fmt --all -- --check passes
  • cargo clippy --workspace --all-targets -- -D warnings is clean
  • cargo test --workspace passes
  • Docs in doc/ updated if behavior changed (mdbook build still clean)
  • CHANGELOG updated for user-visible changes

Notes for reviewers

Anything worth calling out -- tricky bits, follow-ups, or intentionally out-of-scope items.

CLAUDE.md and the /next-task skill both claim CI runs
scripts/audit-doc-style.py, but ci.yml never invoked it -- which is
how two doc width violations slipped onto trunk unnoticed. Add a
doc-style job (checkout + python3 scripts/audit-doc-style.py); the
script is stdlib-only so the job needs no pip install, and its
non-zero exit on violations is what gates.

The width violations themselves (doc/reference/cli.md, doc/usage/
run.md) were already fixed by intervening commits; the audit exits 0
on trunk today, so this lands no doc edits.
@tgockel tgockel merged commit cbed736 into trunk Jul 13, 2026
6 checks passed
@tgockel tgockel deleted the 0082-doc-width-regressions branch July 13, 2026 00:03
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