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

ci(benchmark): add PR permissions for comment #5334

Merged
merged 1 commit into from Nov 2, 2023
Merged

ci(benchmark): add PR permissions for comment #5334

merged 1 commit into from Nov 2, 2023

Conversation

uiolee
Copy link
Member

@uiolee uiolee commented Oct 29, 2023

What does it do?

fix #5332

refs:

Screenshots

Pull request tasks

  • Add test cases for the changes.
  • Passed the CI test.

@github-actions
Copy link

github-actions bot commented Oct 29, 2023

@uiolee uiolee mentioned this pull request Oct 29, 2023
2 tasks
Copy link
Member

@yoshinorin yoshinorin left a comment

Choose a reason for hiding this comment

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

LGTM 👌

@uiolee uiolee merged commit bdf3cf2 into master Nov 2, 2023
9 checks passed
@uiolee uiolee deleted the comment branch November 2, 2023 15:57
@uiolee uiolee added the invalid Invalid/Irrelevant/Wrong information label Nov 6, 2023
@uiolee
Copy link
Member Author

uiolee commented Nov 6, 2023

I am sorry, it is invalid.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
invalid Invalid/Irrelevant/Wrong information
Projects
None yet
Development

Successfully merging this pull request may close these issues.

profiling error generated from the external PR
2 participants