Skip to content

fix(event-source): handle websocket stream termination and add watchdog#4428

Open
hitchhooker wants to merge 1 commit intoinformalsystems:masterfrom
hitchhooker:fix/websocket-stream-termination-handling
Open

fix(event-source): handle websocket stream termination and add watchdog#4428
hitchhooker wants to merge 1 commit intoinformalsystems:masterfrom
hitchhooker:fix/websocket-stream-termination-handling

Commits

Commits on Jan 30, 2026