Skip to content

[mache-4515db] ci: gate docs on doc changes (docs:lint was hidden by paths-ignore)#529

Merged
jamestexas merged 1 commit into
mainfrom
ci/mache-4515db-docs-lint-gate
Jul 17, 2026
Merged

[mache-4515db] ci: gate docs on doc changes (docs:lint was hidden by paths-ignore)#529
jamestexas merged 1 commit into
mainfrom
ci/mache-4515db-docs-lint-gate

Conversation

@jamestexas

Copy link
Copy Markdown
Contributor

Summary

Closes a gap found while reviewing CI triggers: ci.yml paths-ignores **.md + docs/** (correct — the heavy Go/integration matrix shouldn't run on doc-only changes), but task docs:lint lives inside that ignored job. So a doc-only PR — the exact case docs:lint exists for — skips the one check meant to gate documentation.

docs:lint validates: covers-version vs the latest CHANGELOG heading, last-verified staleness, and mache language-count claims vs internal/lang/lang.go. All three can silently drift in a doc-only PR today.

Fix

New docs.yml with the inverse trigger — runs only on **.md + docs/** + CHANGELOG.md. Between the two workflows every change is covered exactly once (no overlap, no gap). docs-lint.sh is grep-based (no Go build), so the job is fast; it installs task via go install matching ci.yml's convention (bypasses the arduino/setup-task CDN 502s).

Verification

task docs:lint 0 fail 0 warn; task lint:actions (SHA-pin gate) + task lint:yaml pass.

Note

This is independent of the CGO/leyline arc (#527/#528) — pure CI hygiene, off main.

🤖 Generated with Claude Code

…ci.yml paths-ignore)

ci.yml paths-ignores **.md + docs/** so the heavy Go/integration matrix
skips doc-only changes — correct. But task docs:lint lived INSIDE that
ignored job, so the one check meant to gate docs (covers-version vs
CHANGELOG, last-verified staleness, mache language-count claims vs
internal/lang/lang.go) never ran on doc-only PRs. New docs.yml has the
inverse trigger (runs ONLY on **.md + docs/** + CHANGELOG.md), so
between the two workflows every change is covered exactly once.
Grep-based docs-lint.sh needs no Go build, so it's fast.
@jamestexas
jamestexas merged commit 64f1306 into main Jul 17, 2026
14 checks passed
@jamestexas
jamestexas deleted the ci/mache-4515db-docs-lint-gate branch July 17, 2026 05:43
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