mirror of
https://github.com/garrytan/gstack.git
synced 2026-09-10 15:09:00 +02:00
Garry TanandClaude Fable 5
05be4dbb8a
The Codex/Factory gates ran 'git diff --exit-code -- .agents/' / '-- .factory/', but both paths are gitignored (.gitignore:16-17) — git diff on ignored untracked paths is always empty, so those two gates were structurally incapable of failing and 7 of 10 hosts had no gate at all. New shape: one 'gen:skill-docs --host all' pass (the generator hard-fails on any per-host error, gating all 10 hosts on generates-cleanly), byte-freshness via git diff for tracked output, plus a porcelain check that fails on untracked generated strays (git diff can't see brand-new files). The gitignored-hosts byte-freshness limitation is documented in the workflow comment. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
39 lines
1.8 KiB
YAML
39 lines
1.8 KiB
YAML
name: Skill Docs Freshness
|
|
on: [push, pull_request]
|
|
jobs:
|
|
check-freshness:
|
|
runs-on: ubicloud-standard-8
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
- uses: oven-sh/setup-bun@v2
|
|
- run: bun install
|
|
# One generation pass for ALL 10 hosts. gen-skill-docs --host all
|
|
# hard-fails on any per-host generation error (scripts/gen-skill-docs.ts
|
|
# aggregates failures and exits non-zero), so every host is gated on
|
|
# "generates cleanly." Known limitation, on purpose: the 9 gitignored
|
|
# host outputs (.agents/, .factory/, .kiro/, ...) are NOT byte-freshness
|
|
# checked — `git diff` on ignored untracked paths is always empty (the
|
|
# previous per-host `git diff -- .agents/` gates could never fail for
|
|
# exactly that reason). Byte-freshness is enforced only for tracked
|
|
# output (the Claude SKILL.md files), which the two steps below cover.
|
|
- name: Generate all host skill docs
|
|
run: bun run gen:skill-docs --host all
|
|
- name: Verify tracked skill docs are fresh
|
|
run: |
|
|
git diff --exit-code || {
|
|
echo "Generated SKILL.md files are stale. Run: bun run gen:skill-docs --host all"
|
|
exit 1
|
|
}
|
|
# git diff misses NEW untracked files (e.g. a freshly added skill whose
|
|
# generated SKILL.md was never committed). Fail on any untracked stray
|
|
# the generator produced outside the gitignored host dirs.
|
|
- name: Verify no untracked generated files
|
|
run: |
|
|
STRAYS=$(git status --porcelain --untracked-files=all | grep '^??' || true)
|
|
if [ -n "$STRAYS" ]; then
|
|
echo "Generator produced untracked files that are neither committed nor gitignored:"
|
|
echo "$STRAYS"
|
|
echo "Commit them (bun run gen:skill-docs --host all) or gitignore them."
|
|
exit 1
|
|
fi
|