mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2025-01-15 02:40:04 +00:00
9c9144b65c
Thought `content` permission was enough to create (not merge) PRs, but turns out the `pull-request` permission is also required. This should unblock the bot. Signed-off-by: Nathan Gauër <brioche@google.com>
53 lines
1.4 KiB
YAML
53 lines
1.4 KiB
YAML
name: Update dependencies
|
|
permissions:
|
|
contents: read
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '0 2 * * *'
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
update-dependencies:
|
|
permissions:
|
|
contents: write
|
|
pull-requests: write
|
|
name: Update dependencies
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
|
|
# Checkout the depot tools they are needed by roll_deps.sh
|
|
- name: Checkout depot tools
|
|
run: git clone https://chromium.googlesource.com/chromium/tools/depot_tools.git
|
|
|
|
- name: Update PATH
|
|
run: echo "./depot_tools" >> $GITHUB_PATH
|
|
|
|
- name: Download dependencies
|
|
run: python3 utils/git-sync-deps
|
|
|
|
- name: Setup git user information
|
|
run: |
|
|
git config user.name "GitHub Actions[bot]"
|
|
git config user.email "<>"
|
|
git checkout -b roll_deps
|
|
|
|
- name: Update dependencies
|
|
run: |
|
|
utils/roll_deps.sh
|
|
if [[ `git diff HEAD..origin/main --name-only | wc -l` == 0 ]]; then
|
|
echo "changed=false" >> $GITHUB_OUTPUT
|
|
else
|
|
echo "changed=true" >> $GITHUB_OUTPUT
|
|
fi
|
|
id: update_dependencies
|
|
- name: Push changes and create PR
|
|
if: steps.update_dependencies.outputs.changed == 'true'
|
|
run: |
|
|
git push --force --set-upstream origin roll_deps
|
|
gh pr create --label 'kokoro:run' --base main -f -r s-perron
|
|
env:
|
|
GITHUB_TOKEN: ${{ github.token }}
|