Skip to content

Conversation

@ydshieh
Copy link
Collaborator

@ydshieh ydshieh commented Apr 30, 2025

What does this PR do?

So far we are using another approach that will prevent PRs from forked repositories not trigger CircleCI when ready for review. This PRs try to use a GitHub Actions workflow with pull_request_review: ready_for_review that will trigger CircleCI pipeline.

@github-actions github-actions bot marked this pull request as draft April 30, 2025 09:20
@github-actions
Copy link
Contributor

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 and trigger CI.

@ydshieh ydshieh marked this pull request as ready for review April 30, 2025 09:21
@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.

@ydshieh ydshieh marked this pull request as draft April 30, 2025 10:14
@ydshieh ydshieh marked this pull request as ready for review April 30, 2025 10:14
@github-actions
Copy link
Contributor

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 and trigger CI.

@github-actions github-actions bot marked this pull request as draft April 30, 2025 10:14
@ydshieh ydshieh marked this pull request as ready for review April 30, 2025 10:21
@github-actions
Copy link
Contributor

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 and trigger CI.

@github-actions github-actions bot marked this pull request as draft April 30, 2025 10:21
@ydshieh ydshieh marked this pull request as ready for review April 30, 2025 10:28
@github-actions github-actions bot marked this pull request as draft April 30, 2025 10:28
@github-actions
Copy link
Contributor

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 and trigger CI.

@ydshieh ydshieh marked this pull request as ready for review April 30, 2025 10:32
@github-actions github-actions bot marked this pull request as draft April 30, 2025 10:32
@github-actions
Copy link
Contributor

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 and trigger CI.

@ydshieh ydshieh changed the title try [don't merge] try Apr 30, 2025
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:01
@github-actions github-actions bot marked this pull request as draft May 9, 2025 07:02
@github-actions
Copy link
Contributor

github-actions bot commented May 9, 2025

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 and trigger CI.

@ydshieh ydshieh force-pushed the trigger_via_api branch from 7286085 to 3c5e566 Compare May 9, 2025 07:24
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:25
@ydshieh ydshieh marked this pull request as draft May 9, 2025 07:27
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:28
@ydshieh ydshieh marked this pull request as draft May 9, 2025 07:30
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:30
@ydshieh ydshieh marked this pull request as draft May 9, 2025 07:38
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:38
@ydshieh ydshieh marked this pull request as draft May 9, 2025 07:43
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:44
@ydshieh ydshieh marked this pull request as draft May 9, 2025 07:51
@ydshieh ydshieh force-pushed the trigger_via_api branch from f53942c to 5b23e70 Compare May 9, 2025 07:55
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 07:55
@ydshieh ydshieh marked this pull request as draft May 9, 2025 08:01
@ydshieh ydshieh marked this pull request as ready for review May 9, 2025 08:12
@ydshieh ydshieh force-pushed the trigger_via_api branch from 718fb3e to 780ed80 Compare May 9, 2025 08:16
@ydshieh ydshieh changed the title [don't merge] try Trigger CircleCI via GitHub Actions when ready for review May 9, 2025
Comment on lines +4 to +5
pull_request_target:
types: [ready_for_review]
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

We need to verify, when CircleCI use checkout, what is the head/commit being used for the runs.

Since pull_request_target could take effect only when the workflow file is on main, I can verify.

Once merged, I will check immediately.

- run: if [[ "$CIRCLE_PULL_REQUEST" == "" && "$CIRCLE_BRANCH" != "main" && "$CIRCLE_BRANCH" != *-release ]]; then echo "Not a PR, not the main branch and not a release branch, skip test!"; circleci-agent step halt; fi
- run: 'curl -L -H "Accept: application/vnd.github+json" -H "X-GitHub-Api-Version: 2022-11-28" https://api.github.com/repos/$CIRCLE_PROJECT_USERNAME/$CIRCLE_PROJECT_REPONAME/pulls/${CIRCLE_PULL_REQUEST##*/} >> github.txt'
- run: git branch
- run: git log -n 1
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Just to make sure wheat is the commit. We can remove this once I see the correctness.

@ydshieh ydshieh merged commit d498528 into main May 9, 2025
14 of 22 checks passed
@ydshieh ydshieh deleted the trigger_via_api branch May 9, 2025 09:45
ydshieh added a commit that referenced this pull request May 9, 2025
#37885)` (#38041)

* check actions

* trigger CI

* check actions

* finally

---------

Co-authored-by: ydshieh <[email protected]>
zucchini-nlp pushed a commit to zucchini-nlp/transformers that referenced this pull request May 14, 2025
…ace#37885)

* update

* update

* update

---------

Co-authored-by: ydshieh <[email protected]>
zucchini-nlp pushed a commit to zucchini-nlp/transformers that referenced this pull request May 14, 2025
huggingface#37885)` (huggingface#38041)

* check actions

* trigger CI

* check actions

* finally

---------

Co-authored-by: ydshieh <[email protected]>
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.

4 participants