Commit Graph

12 Commits

Author SHA1 Message Date
Onur
cd44a0d01e fix: codex and similar processes keep dying on pty, solved by refactoring process spawning (#14257)
* exec: clean up PTY resources on timeout and exit

* cli: harden resume cleanup and watchdog stalled runs

* cli: productionize PTY and resume reliability paths

* docs: add PTY process supervision architecture plan

* docs: rewrite PTY supervision plan as pre-rewrite baseline

* docs: switch PTY supervision plan to one-go execution

* docs: add one-line root cause to PTY supervision plan

* docs: add OS contracts and test matrix to PTY supervision plan

* docs: define process-supervisor package placement and scope

* docs: tie supervisor plan to existing CI lanes

* docs: place PTY supervisor plan under src/process

* refactor(process): route exec and cli runs through supervisor

* docs(process): refresh PTY supervision plan

* wip

* fix(process): harden supervisor timeout and PTY termination

* fix(process): harden supervisor adapters env and wait handling

* ci: avoid failing formal conformance on comment permissions

* test(ui): fix cron request mock argument typing

* fix(ui): remove leftover conflict marker

* fix: supervise PTY processes (#14257) (openclaw#14257) (thanks @onutc)
2026-02-16 02:32:05 +01:00
Marcus Castro
47596257ea ci: add concurrency controls, consolidate macOS jobs, optimize Windows CI 2026-02-06 23:31:48 -08:00
vignesh07
e74235fdce ci(formal): compute drift for generated/ before model checking 2026-02-02 00:43:28 -08:00
vignesh07
f37b79cf4f ci(formal): add routing-trirule + proxy-header-spoof targets 2026-02-02 00:43:28 -08:00
vignesh07
889480cef9 ci(formal): include latest reliability/conformance model targets 2026-02-02 00:43:28 -08:00
vignesh07
9d9378436b ci(formal): fix formal models checkout repo (vignesh07/clawdbot-formal-models) 2026-02-01 01:59:16 -08:00
vignesh07
141dc1af4b ci(formal): checkout formal models from canonical repo main 2026-02-01 01:59:16 -08:00
vignesh07
c83c19d9cd ci(formal): run TLC model suite (green) + negative suite (non-blocking) 2026-02-01 01:59:16 -08:00
Vignesh
7387bc574f Merge pull request #5807 from openclaw/ci/formal-conformance-alias-check 2026-01-31 17:39:53 -08:00
cpojer
f06dd8df06 chore: Enable "experimentalSortImports" in Oxfmt and reformat all imorts. 2026-02-01 10:03:47 +09:00
vignesh07
367372f526 ci: run formal model alias consistency check 2026-01-31 16:52:15 -08:00
vignesh07
baf9505bfd ci: add informational formal models conformance check 2026-01-31 14:06:17 -08:00