E. Castedo Ellerman activity https://gitlab.com/castedo 2026-03-16T12:08:16Z tag:gitlab.com,2026-03-16:5207958130 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-16T12:08:16Z castedo E. Castedo Ellerman

E. Castedo Ellerman (57e1d415) at 16 Mar 12:08

make empty stdin non-zero retcode like lake

tag:gitlab.com,2026-03-14:5204019772 E. Castedo Ellerman pushed to project branch ci/fed/build-image at ellerman / Nest Container Images / dev 2026-03-14T13:34:24Z castedo E. Castedo Ellerman

E. Castedo Ellerman (393d9b71) at 14 Mar 13:34

LSP related dev adds

tag:gitlab.com,2026-03-14:5203291215 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-14T00:51:28Z castedo E. Castedo Ellerman

E. Castedo Ellerman (c9f6bb64) at 14 Mar 00:51

add test server loop test with real lake

tag:gitlab.com,2026-03-14:5203285830 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-14T00:45:15Z castedo E. Castedo Ellerman

E. Castedo Ellerman (5b94a081) at 14 Mar 00:45

decouple subprocess impl from session interface

tag:gitlab.com,2026-03-13:5202011884 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-13T15:42:35Z castedo E. Castedo Ellerman

E. Castedo Ellerman (43abe257) at 13 Mar 15:42

refactor jsonrpc/lspobj msg read/write

tag:gitlab.com,2026-03-13:5201990853 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-13T15:36:57Z castedo E. Castedo Ellerman

E. Castedo Ellerman (59274770) at 13 Mar 15:36

RequestResponseHelper; encapsulate RemoteRpcProxy

tag:gitlab.com,2026-03-13:5201975701 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-13T15:33:09Z castedo E. Castedo Ellerman

E. Castedo Ellerman (c9a9397b) at 13 Mar 15:33

remove close from RpcInterface; minor renames

tag:gitlab.com,2026-03-13:5201776405 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-13T14:47:50Z castedo E. Castedo Ellerman

E. Castedo Ellerman (b52a7485) at 13 Mar 14:47

proper shutdown/exit in server test; code improve

tag:gitlab.com,2026-03-12:5198633182 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-12T20:04:48Z castedo E. Castedo Ellerman

E. Castedo Ellerman (72ee5680) at 12 Mar 20:04

use stdlib logging/warnings; release/close rename

tag:gitlab.com,2026-03-10:5189461073 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-10T20:51:21Z castedo E. Castedo Ellerman

E. Castedo Ellerman (eb3a7edd) at 10 Mar 20:51

delay exec sub process LSP server

tag:gitlab.com,2026-03-10:5188780375 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-10T17:30:17Z castedo E. Castedo Ellerman

E. Castedo Ellerman (6d75b0c9) at 10 Mar 17:30

safer typing for LSP structs

... and 1 more commit

tag:gitlab.com,2026-03-10:5188135345 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-10T15:13:53Z castedo E. Castedo Ellerman

E. Castedo Ellerman (80b090dd) at 10 Mar 15:13

parse LSP ReponseError; add LSP error codes

tag:gitlab.com,2026-03-09:5184740516 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-09T22:16:36Z castedo E. Castedo Ellerman

E. Castedo Ellerman (f58ab496) at 09 Mar 22:16

lspleank specific code in new file

tag:gitlab.com,2026-03-09:5184095646 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-09T18:41:08Z castedo E. Castedo Ellerman

E. Castedo Ellerman (190f05e7) at 09 Mar 18:41

obsolete relay_rpc_loop with RpcInterface:release

tag:gitlab.com,2026-03-09:5182469997 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / lspleanklib 2026-03-09T12:53:45Z castedo E. Castedo Ellerman

E. Castedo Ellerman (ec17f0e7) at 09 Mar 12:53

copy/adapt unit tests from leanylsp

tag:gitlab.com,2026-03-09:5182189283 E. Castedo Ellerman pushed new project branch main at E. Castedo Ellerman / lspleanklib 2026-03-09T11:57:07Z castedo E. Castedo Ellerman

E. Castedo Ellerman (da7f3c6b) at 09 Mar 11:57

copy/split code from leanylsp.py

... and 1 more commit

tag:gitlab.com,2026-03-09:5182186063 E. Castedo Ellerman created project E. Castedo Ellerman / lspleanklib 2026-03-09T11:56:38Z castedo E. Castedo Ellerman tag:gitlab.com,2026-03-09:5180338779 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / webleank 2026-03-09T02:13:52Z castedo E. Castedo Ellerman

E. Castedo Ellerman (3a1d7b94) at 09 Mar 02:13

respond with static webapp files over websocket

tag:gitlab.com,2026-03-09:5180334080 E. Castedo Ellerman pushed to project branch main at E. Castedo Ellerman / webleank 2026-03-09T02:10:54Z castedo E. Castedo Ellerman

E. Castedo Ellerman (c11eb46b) at 09 Mar 02:10

build and include webapp in python package