Skip to content

Update develop#1187

Merged
zugao merged 6 commits into
developfrom
merge-to-develop
May 13, 2026
Merged

Update develop#1187
zugao merged 6 commits into
developfrom
merge-to-develop

Conversation

@zugao
Copy link
Copy Markdown
Contributor

@zugao zugao commented May 13, 2026

Update develop from master

Checklist

  • The PR has a meaningful title. It will be used to auto generate the
    changelog.
    The PR has a meaningful description that sums up the change. It will be
    linked in the changelog.
  • PR contains a single logical change (to build a better changelog).
  • I run make e2e-test against local kindev and all checks passed
  • If no changes have been made you can self approve but otherwise at least two reviews are required
  • Link this PR to related issues or PRs.

@zugao zugao added the patch label May 13, 2026
@zugao zugao merged commit 596cf35 into develop May 13, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant