15cd1153e3Add the checker the showboat skill references, so `just check-demos` actually runs instead of pointing at non-existent tooling. - scripts/ci/check-spec-demo-anchors.sh: validates every anchored spec.md (demos-anchored: true) has a sibling demo whose proof blocks carry matching machine + human anchors and at least one evidence block per scenario; GitHub-style slug derivation; exits 0 on the no-anchored-specs-yet case - justfile: `check-demos` recipe delegating to the script (just is installed; coexists with the canonical Makefile) - showboat skill: restore `just check-demos` references now that the command works Verified: passes clean on the current tree (0 anchored specs) and correctly fails on missing demo / missing evidence fixtures.
8 lines
324 B
Makefile
8 lines
324 B
Makefile
# forgejo-mcp task recipes.
|
|
#
|
|
# The canonical build tooling is `make` (see Makefile). This justfile holds
|
|
# auxiliary recipes that the Make targets don't cover. Run `just --list`.
|
|
|
|
# Validate anchored Showboat demos against their specs (see .claude/skills/showboat).
|
|
check-demos:
|
|
./scripts/ci/check-spec-demo-anchors.sh
|