Skip to content

publish-spec: fix the live check; Club definition in the spec menu - #18

Merged
KI7MT merged 1 commit into
mainfrom
fix-publish-spec-check
Oct 5, 2026
Merged

KI7MT merged 1 commit into
mainfrom
fix-publish-spec-check

Conversation

@bob-qg

@bob-qg bob-qg Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

The first real run of make publish-spec (v1.2.0, 2026-10-05) published correctly but reported a failure. Its last step piped curl into grep -q. grep stops reading at the first match, curl then reports a write error (23), and with pipefail the pipeline counts as a miss every time, so it waited five minutes and gave up while v1.2.0 was already live.

  • Fix: read the page into a variable, then match with [[ … == *… * ]] (bash 3.2, so it still runs on the M3). Tested against the live site: it matches v1.2.0 and rejects a version that isn't live.
  • The spec menu: adds Club definition (spec/contracts/club-definition.md, new in v1.2.0) under Specification. It was reachable only through the contracts page.

mkdocs build --strict is clean, importing 6 spec pages from v1.2.0.

🤖 Generated with Claude Code

…led under pipefail); Club definition in the spec menu

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@KI7MT
KI7MT merged commit 93d980c into main Oct 5, 2026
4 checks passed
@KI7MT
KI7MT deleted the fix-publish-spec-check branch October 5, 2026 03:31
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