Skip to content

feat(schema): Hold a problem's owner as a ProblemOwner, not a string - #875

Merged
jetuk merged 1 commit into
mainfrom
problem-owner
Sep 30, 2026
Merged

jetuk merged 1 commit into
mainfrom
problem-owner

Conversation

@Batch21

@Batch21 Batch21 commented Sep 30, 2026

Copy link
Copy Markdown
Contributor

Problems about a reference now name the component holding it as a ProblemOwner, so a caller can find it without parsing the message.

Problems about a reference now name the component holding it as a
ProblemOwner, so a caller can find it without parsing the message.
@Batch21
Batch21 requested a review from jetuk September 30, 2026 22:04
@jetuk
jetuk merged commit f67e16e into main Sep 30, 2026
12 checks passed
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.

2 participants