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

..

workflows

ci: add Gitea Actions gate (make gen/check/lint on push/PR)

2026-08-14 15:25:39 -04:00