Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cherry-pick #6679 fix: type trans rules #6683

Merged
merged 1 commit into from
Dec 21, 2023

Conversation

github-actions[bot]
Copy link

cherry-pick #6679 fix: type trans rules

* fix: type trans rules

* fix: github issue e2e
Copy link
Author

🤖 this a auto create pr!cherry picked from #6679.

@github-actions github-actions bot added bot/auto-cherry-pick auto cherry pick pr bot/auto-cherry-pick-for-release-v0.20 auto cherry pick pr for release-v0.20 labels Dec 21, 2023
@abeizn abeizn merged commit 8eec578 into release-v0.20 Dec 21, 2023
@abeizn abeizn deleted the release-v0.20-auto-cherry-pick-6679 branch December 21, 2023 07:10
@abeizn abeizn added needs-cherrypick-v0.19 and removed bot/auto-cherry-pick auto cherry pick pr bot/auto-cherry-pick-for-release-v0.20 auto cherry pick pr for release-v0.20 labels Dec 21, 2023
Copy link
Author

🤖 The current file has a conflict, and the pr cannot be automatically created.

@github-actions github-actions bot added the bot/auto-cherry-pick-failed auto cherry pick failed label Dec 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant