Skip to content

keel serve: socket timeout, GET drain, halt never creates a DB, halt outlives the remote lifetime; stale citations (#981 #982 #983) - #987

Merged
eaitbrahim merged 4 commits into
mainfrom
fix/981-982-serve-hygiene
Oct 13, 2026
Merged

keel serve: socket timeout, GET drain, halt never creates a DB, halt outlives the remote lifetime; stale citations (#981 #982 #983)#987
eaitbrahim merged 4 commits into
mainfrom
fix/981-982-serve-hygiene

Make the #983 halt-exemption prose true and name keel kill in the exp…

fdd1867
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar