Skip to content

update $id#1720

Merged
SFJohnson24 merged 2 commits into
mainfrom
schema-id
May 5, 2026
Merged

update $id#1720
SFJohnson24 merged 2 commits into
mainfrom
schema-id

Conversation

@SFJohnson24

@SFJohnson24 SFJohnson24 commented May 5, 2026

Copy link
Copy Markdown
Collaborator

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Updated schema has not been merged with markdown descriptions. Please run the "Merge Schema with Markdown Descriptions" workflow to update the merged schema files.

@gerrycampion gerrycampion left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good, though I noticed now 2 things:

@gerrycampion
gerrycampion self-requested a review May 5, 2026 18:17
@SFJohnson24
SFJohnson24 merged commit 9c45840 into main May 5, 2026
5 checks passed
@SFJohnson24
SFJohnson24 deleted the schema-id branch May 5, 2026 18:17
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