Thanks to visit codestin.com
Credit goes to github.com

Skip to content

update bot comment again #36974

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

Merged
merged 1 commit into from
Mar 25, 2025
Merged

update bot comment again #36974

merged 1 commit into from
Mar 25, 2025

Conversation

ydshieh
Copy link
Collaborator

@ydshieh ydshieh commented Mar 25, 2025

What does this PR do?

update bot comment again, as a new CircleCI pipeline with a new trigger (by ready for review event) is added.

@ydshieh ydshieh requested a review from Rocketknight1 March 25, 2025 17:32
@github-actions github-actions bot marked this pull request as draft March 25, 2025 17:32
Copy link

Hi 👋, thank you for opening this pull request! The pull request is converted to draft by default. The CI will be paused while the PR is in draft mode. When it is ready for review, please click the Ready for review button (at the bottom of the PR page). This will assign reviewers.

@ydshieh
Copy link
Collaborator Author

ydshieh commented Mar 25, 2025

@Rocketknight1 it's ready for review. I keep it as draft so not to trigger CI (no point to run CI for this PR)

@HuggingFaceDocBuilderDev

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint. The docs are available until 30 days after the last update.

Copy link
Member

@Rocketknight1 Rocketknight1 left a comment

Choose a reason for hiding this comment

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

Nice!

@ydshieh ydshieh marked this pull request as ready for review March 25, 2025 18:41
@ydshieh ydshieh merged commit ab4656f into main Mar 25, 2025
7 of 10 checks passed
@ydshieh ydshieh deleted the update_comment_again branch March 25, 2025 18: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