diff options
| author | Ivan <unmanbearpig@gmail.com> | 2026-09-20 09:23:58 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-09-20 14:23:58 +0200 |
| commit | 29f9f4056f344af60f411004fc89c7eb5f357c48 (patch) | |
| tree | 8e11bddc337094b8aece2a7abea4ee6ee6340f2a /src/api/schema/server.rs | |
| parent | a3a1c94ed54e8a65d929528336d69c7e537ed2ef (diff) | |
fix: detect codex status with custom interrupt keys (#4196)
* fix: detect codex status with custom interrupt keys
* test: remove unverified codex stale-status cases
* fix(detect): match punctuation in codex interrupt hints
Accept parentheses in remapped interrupt binding labels and simplify the cheap prefilter to a single any-gate shared by both manifest copies.
---------
Co-authored-by: JJ Liebig <jonathan.liebig@gmail.com>
Diffstat (limited to 'src/api/schema/server.rs')
0 files changed, 0 insertions, 0 deletions