2 Commits

Author	SHA1	Message	Date
he	8026300005	chore(ci): report gate result as ci-ok/ci-fail tags + scripts/ci-status.sh	2026-08-14 17:19:28 -04:00
he	e0b5b11bf9	ci: add Gitea Actions gate (make gen/check/lint on push/PR) ... - .gitea/workflows/lint.yml: on push + pull_request runs make gen, then git diff --exit-code (gen-drift check), then make check, then make lint - requires a registered act_runner (ubuntu-latest label) to execute - docs: AGENTS.md Quick facts 'no CI' -> CI bullet (runner required, gates still run locally); DEV.md stub-harness note clarifies CI is static-gates only; AGENT_TODO Done entry + Next item for runner registration - verified locally: gen idempotent (0 gen-managed files changed), check OK, lint 0 FAIL / 0 WARN	2026-08-14 15:25:39 -04:00