mirror of
https://github.com/rust-lang/rust
synced 2024-09-05 08:37:14 +00:00
Bump cargo update
PR more often
This commit is contained in:
parent
cb580ff677
commit
39e36af856
6
.github/workflows/dependencies.yml
vendored
6
.github/workflows/dependencies.yml
vendored
|
@ -6,6 +6,8 @@ on:
|
||||||
schedule:
|
schedule:
|
||||||
# Run weekly
|
# Run weekly
|
||||||
- cron: '0 0 * * Sun'
|
- cron: '0 0 * * Sun'
|
||||||
|
# Re-bump deps every 4 hours
|
||||||
|
- cron: '0 */4 * * *'
|
||||||
workflow_dispatch:
|
workflow_dispatch:
|
||||||
# Needed so we can run it manually
|
# Needed so we can run it manually
|
||||||
permissions:
|
permissions:
|
||||||
|
@ -135,8 +137,8 @@ jobs:
|
||||||
gh pr edit cargo_update --title "${PR_TITLE}" --body-file body.md --repo $GITHUB_REPOSITORY
|
gh pr edit cargo_update --title "${PR_TITLE}" --body-file body.md --repo $GITHUB_REPOSITORY
|
||||||
|
|
||||||
- name: open new pull request
|
- name: open new pull request
|
||||||
# Only run if there wasn't an existing PR
|
# Only run if there wasn't an existing PR and if this is the weekly run
|
||||||
if: steps.edit.outcome != 'success'
|
if: steps.edit.outcome != 'success' && github.event.schedule == '0 0 * * Sun'
|
||||||
env:
|
env:
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||||
run: gh pr create --title "${PR_TITLE}" --body-file body.md --repo $GITHUB_REPOSITORY
|
run: gh pr create --title "${PR_TITLE}" --body-file body.md --repo $GITHUB_REPOSITORY
|
||||||
|
|
Loading…
Reference in a new issue