diff --git a/REPORT.md b/REPORT.md index b1cb4cf..44c9e39 100644 --- a/REPORT.md +++ b/REPORT.md @@ -309,9 +309,25 @@ unused. --- -## 9. CI +## 9. CI — checked by run id, not assumed -Appended after the push — run id and conclusion, per `CLAUDE.md`'s pull-check rule. +Two commits, both docs-only. + +| repo | commit | CI run | result | +|---|---|---|---| +| `felhom-agent` | `9dfd89c` — *docs: agent 0.120.0 published + vouched…* | **run 46**, `head_sha 9dfd89cb` | **success** (`gates`) | +| `felhom.eu` | `aa62449` — *R-178 CLOSED: both demo boxes reinstalled…* | **run 47**, `head_sha aa624496` | **success** (`gates`) | + +Queried with +`curl -s "https://gitea.dooplex.hu/api/v1/repos/admin//actions/tasks?limit=3"` and matched on +`head_sha`, per `CLAUDE.md`'s pull-check rule — CI mails on failure, which is a push signal; this is +the pull check that catches a lost or unread mail. + +**`--no-verify` was NOT used**, anywhere. This clone is armed (`core.hooksPath = .githooks`). Both +gate entry points were also run by hand before committing: +`felhom.eu/scripts/repo_gates.py` → **all five OK** (site, hostinstall, hub-confirm, +manifest-bearer, reuse-refs), and `felhom-agent/scripts/agent_gates.py` → **OK** (reuse-refs). +No test suite was run because no code changed in either repo. ---