Skip to content

chore(schema): update#3730

Closed
github-actions[bot] wants to merge 1 commit intodevelopfrom
tmp/schema/13792702451/1
Closed

chore(schema): update#3730
github-actions[bot] wants to merge 1 commit intodevelopfrom
tmp/schema/13792702451/1

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Note
If checks do not start, close then reopen this pull request.

Created by the schema.yml workflow.

@github-actions github-actions Bot requested a review from a team as a code owner March 11, 2025 16:05
Copy link
Copy Markdown
Member

@roger-zhangg roger-zhangg left a comment

Choose a reason for hiding this comment

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

LGTM

@roger-zhangg roger-zhangg enabled auto-merge (squash) March 14, 2025 23:56
auto-merge was automatically disabled March 14, 2025 23:59

Pull request was closed

@roger-zhangg roger-zhangg reopened this Mar 14, 2025
@roger-zhangg roger-zhangg enabled auto-merge (squash) March 14, 2025 23:59
@vicheey
Copy link
Copy Markdown
Contributor

vicheey commented Mar 26, 2025

Closed in favor of #3739

@vicheey vicheey closed this Mar 26, 2025
auto-merge was automatically disabled March 26, 2025 03:41

Pull request was closed

@vicheey vicheey deleted the tmp/schema/13792702451/1 branch March 26, 2025 03:42
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.

3 participants