-
Notifications
You must be signed in to change notification settings - Fork 417
chore(deps): aggregate core dependabot updates #930
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
Changes from all commits
7668acf
d5f51ef
281405f
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -10,7 +10,7 @@ concurrency: | |
| jobs: | ||
| build: | ||
| if: github.event.pull_request.draft == false | ||
| uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@e60a538eea9817ab312196d0d233604b01697265 # main | ||
| uses: huggingface/doc-builder/.github/workflows/build_pr_documentation.yml@7e6bd45ee271b96e75484eeafea1b3e6139cd0c7 # main | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Same conflict as |
||
| with: | ||
| commit_sha: ${{ github.event.pull_request.head.sha }} | ||
| pr_number: ${{ github.event.number }} | ||
|
|
||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -8,7 +8,7 @@ on: | |
|
|
||
| jobs: | ||
| build: | ||
| uses: huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml@bcff59fca682130d2e7271ca8589911b7ac0b8bf # main | ||
| uses: huggingface/doc-builder/.github/workflows/upload_pr_documentation.yml@7e6bd45ee271b96e75484eeafea1b3e6139cd0c7 # main | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This one merges cleanly — #923 didn't touch |
||
| with: | ||
| package_name: openenv | ||
| secrets: | ||
|
|
||
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.
Merge conflict with
main. #923 ("Make doc builds faster", merged ~39s after this PR opened) already advanced this pin toe60a538, the direct parent of7e6bd45. Since this PR re-pins the same line from the oldbcff59f, a 3-way merge conflicts here —git merge-tree origin/main <head>confirmsCONFLICT (content). (GitHub's currentmergeableflag is a stale cache from before #923 landed.)Rebase onto current
mainand keep7e6bd45— it's a clean +1-commit forward move (doc-builder #803, which addstomlifor OpenEnv's own doc build).