Skip to content

Release: develop -> main - #1253

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
develop
Open

Release: develop -> main#1253
github-actions[bot] wants to merge 1 commit into
mainfrom
develop

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

Automatic Release PR

This PR was automatically created after changes were pushed to develop.

Commits: 1 new commit(s)

Checklist

  • Review all changes
  • Verify CI passes
  • Approve and merge when ready for production

* Report which account a client error happened to

* Take the account from the screen that failed, not from a shared module

* Keep the same failure under two accounts as two reports

* Compose the report signature so a separator in a value cannot merge two failures

* Send only what an account id can be, and say only what this repo shows

* Pin that an empty error type stays apart from a missing one

* Say precisely what the account guard drops

* Type the reported body, and say why an unusable account is dropped

* Read the facts of a thrown value as text, or not at all

* Guard the reading of a thrown value, and keep what still converts

* Guard reading a thrown value as a whole, not field by field

* Correct three comments that outran what the code does

* Read a message off a thrown object, and drop a guard that cannot fire

* Keep what is readable when the value cannot be classified

* Prefer a message that says something over an empty one

* Keep the comments to what this repository shows

* Read every field of a thrown value through one guarded path

* Say where the two reading paths differ, and why
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