Skip to content

fix: address review feedback on #1621 and #1623#1631

Merged
bolinfest merged 1 commit intomainfrom
pr1631
Jul 20, 2025
Merged

fix: address review feedback on #1621 and #1623#1631
bolinfest merged 1 commit intomainfrom
pr1631

Conversation

@bolinfest
Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest commented Jul 20, 2025

  • formalizes ExecApprovalElicitRequestParams
  • adds some defensive logic when messages fail to parse
  • fixes a typo in a comment

@bolinfest bolinfest merged commit 8a6c6ce into main Jul 20, 2025
11 checks passed
@bolinfest bolinfest deleted the pr1631 branch July 20, 2025 21:42
@github-actions github-actions Bot locked and limited conversation to collaborators Jul 20, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants