Skip to content

[CI] Remove commenting by PR check github bot.#612

Closed
YooSunYoung wants to merge 31 commits into
mainfrom
fix-pr-label
Closed

[CI] Remove commenting by PR check github bot.#612
YooSunYoung wants to merge 31 commits into
mainfrom
fix-pr-label

Conversation

@YooSunYoung
Copy link
Copy Markdown
Member

Continued from #598

MridulS and others added 30 commits May 21, 2026 17:30
Co-authored-by: Sunyoung Yoo <17974113+YooSunYoung@users.noreply.github.com>
Co-authored-by: Sunyoung Yoo <17974113+YooSunYoung@users.noreply.github.com>
@github-actions github-actions Bot added the CI label May 28, 2026
@github-actions github-actions Bot changed the title Remove commenting by PR check github bot. [CI] Remove commenting by PR check github bot. May 28, 2026
@YooSunYoung
Copy link
Copy Markdown
Member Author

Closed it cause something went wrong in the commit history...

@YooSunYoung YooSunYoung deleted the fix-pr-label branch May 28, 2026 13:49
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.

5 participants