-
Notifications
You must be signed in to change notification settings - Fork 434
Run tasks-gen scripts automatically #964
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
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thanks!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me!
# Check changes | ||
- run: git status | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Question: is this necessary?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not necessary not but nice to have I think.
Since we are opening automated PRs, I'd not be surprised if at some point in the future the CI breaks for a reason. Having a git status
in the logs doesn't cost much and might be helpful for quick investigations
Let's merge! Hope we won't regret it 😄 |
This PR adds a Github Action to automatically run the
@huggingface/tasks-gen
scripts and open a PR if anything has changed. The workflow is triggered once a day (3am) and can be triggered manually if needed.Here is an example of auto-generated PR: #1030.
Note: lint issues seems unrelated. But it doesn't seem to happen on main (see here) so I don't know what's causing it 😕