Skip to content

robust - #210

Merged
jordens merged 3 commits into
mainfrom
robust
Oct 10, 2026
Merged

robust#210
jordens merged 3 commits into
mainfrom
robust

Conversation

@jordens

@jordens jordens commented Oct 10, 2026

Copy link
Copy Markdown
Member
  • Complete RPC startup on resumed sessions
  • Preserve staging work across cancellation and reconnects
  • Correct MQTT connection cancellation documentation

@jordens
jordens merged commit e2a7e76 into main Oct 10, 2026
9 checks passed
@jordens
jordens deleted the robust branch October 10, 2026 00:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant