← Jobs
success

build ant/term ↗

main @ c83e2c1ce40ace7220551412e1c1e1006e05b246 · pipeline build #71 → · 2 more pipelines from this commit →
started 21 Sep 2026 08:27 UTC · ran for
3s, success 3s, success 3s, success 3s, success 12s, success 3s, success 3s, success 4s, success 3s, success 3s, success avg 4s ± 3s over the last 10 runs
feat: implement the full Kitty keyboard protocol Adds the real push/pop/set/query progressive-enhancement flag-stack mechanism to vt/parser.odin (previously only a fixed "disabled" reply to the capability query) and all 5 flags' key encoding in new kitty.odin: disambiguate escape codes, report event types, report alternate keys, report all keys as escape codes, report associated text. Fixes two pre-existing bugs found along the way: CSI <u / CSI =...u were mis-parsed as SCORC (restore-cursor) since feed_csi never recognized '<'/ '=' as CSI prefixes, and CSI >flags u (push) was silently swallowed as a no-op. New xkb FFI (xkb_keymap_key_get_syms_by_level, xkb_state_key_get_layout, xkb_keysym_to_utf32) backs the alternate-key-reporting flag's shifted/ base-layout codepoint lookups. Release/repeat event reporting wired into events.odin's keyboard_key_cb and main.odin's fire_due_repeats. Kitty and modifyOtherKeys coexist by fallthrough in handle_key_press rather than being mutually exclusive. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011F9RnepbqPL8bDBudDwt71
$ build success · exit 0 · raw
++ mktemp -d
+ checkout=/tmp/tmp.0Tjst6w8Vr
+ trap 'rm -rf "$checkout"' EXIT
+ cp -R /var/lib/ci-tron/sources/1889e6e563e473db/. /tmp/tmp.0Tjst6w8Vr
+ cd /tmp/tmp.0Tjst6w8Vr
+ nix develop --command odin build . -out:term
GC Warning: Could not open /proc/stat
+ rm -rf /tmp/tmp.0Tjst6w8Vr
Artifacts

no artifacts