R-887: a lost CI job seen today (controller 1549), re-run green; report line
gates / gates (push) Successful in 3m58s

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_0159rPz1ZhFKsS53msqPYxtS
This commit is contained in:
2026-10-08 10:46:42 +02:00
parent 0b6758d440
commit 2fd8ff79c5
2 changed files with 3 additions and 2 deletions
+2 -1
View File
@@ -29,7 +29,8 @@ as found. Hub: read only (three DB copies with `-wal`, each deleted). DooPlex: n
no prune. The website changed only after your yes.
**CI (by head commit):** felhom.eu 1540, 1541, 1542, 1543, 1545 success; controller 1544 success; catalog 1546 success.
One push was refused once by the local hook (a site check caught the website session's half-saved page); re-run green,
Controller job 1549 (`05e1292`, report-only) was LOST — 13.5 min, every step failed at one second, no log; the same
tree passed locally; re-run → success. Recorded in R-887 (its dated check is about exactly this). One push was refused once by the local hook (a site check caught the website session's half-saved page); re-run green,
pushed normally — no `--no-verify`.
**Decisions:** the sheet D1–D10 in `STATUS.md` („all as picked", or name the numbers you change). Full designs:
File diff suppressed because one or more lines are too long